(*) -- a unary postfix operator, used for indicating a graded object

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.