+

x + y -- a binary operator used for sums and union.

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 .

Examples:

List + List -- vector addition

Module + Module -- sum of submodules

Set + Set -- union