+

x + y -- a binary operator used for addition in many situations and union of sets.

The user may install binary methods for this operator with code such as

              X + Y := (x,y) -> ...

where X is the class of x and Y is the class of y.