This operator is used for exponentiation, making free modules and sheaves, for shifting complexes left or right, for projection maps involving direct sums, and for making nets.
Ways to use symbol ^ :
"CC ^ ZZ"
"InexactFieldFamily ^ ZZ"
"Ring ^ BettiTally" -- see BettiTally -- the class of all Betti tallies
This operator may be used as a binary operator in an expression like x^y. The user may install binary methods for handling such expressions with code such as
X ^ Y := (x,y) -> ...
where X is the class of x and Y is the class of y.