next | previous | forward | backward | up | top | index | toc | home

^* -- a unary postfix operator, used for indicating pullback maps

For the programmer

The object ^* is a keyword.

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.