Although basically functions, binary operations are usually represented using an infix notation, as in
3 + 4, U ∪ V, P ∧ Q
The operation symbol then appears between the left and right operand. A symbol, such as °, can be used to represent a generalized binary operation.
When the set S is finite, Cayley tables and sometimes truth tables are used to define the meaning of the operation.