_~ -- 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) -> ...

where X is the class of x.