This operator is right associative.
New methods must be installed with installMethod, because the parsing precedence is so low! This will be fixed eventually.
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 ==> :