~ -- a unary postfix operator

This operator may be used as a postfix unary operator in an expression like x ~. The user may install a method for handling such expressions with code such as

              X ~   := (x,y) -> ...

where X is the class of x.

Methods for ~ :

Module ~ -- make a coherent sheaf

Ring ~ -- make the structure sheaf