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.
The user may install a method for this unary operator with code such as
- Y := y -> ...where Y is the class of y.
See also difference and minus.