![[top]](top.gif)
![[index]](index.gif)
+ -- a bina operator
x + y -- a binary operator used for addition in many situations
and 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.
The symbol symbol + is a member of the class Symbol.
Methods for + :