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
.