Start of binary operator definition.