![[next]](next.gif)
![[up]](up.gif)
![[top]](top.gif)
![[index]](index.gif)
+ -- a binary operator
x + y -- a binary operator used for addition in many situations
and for union of sets.
See also:
This operator may be used as a binary operator in an expression
like x + y. The user may install binary methods
for handling such expressions with code such as
X + Y := (x,y) -> ...
where X is the class of x and Y is the
class of y.
Methods for + :