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

_* -- a unary postfix operator, used for indicating pushforward maps

Ways to use _* :

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.