- (unary)

- y -- a unary operator used for negation.

The user may install a method for this unary operator with code such as

               - Y := y -> ...

where Y is the class of y .

Go to main index.

Go to concepts index.