^! -- a unary postfix operator, used for the upper shriek functor

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.