- CoherentSheaf ^** ZZ -- tensor power
- Module ^** ZZ -- tensor power
- VirtualTally ^** ZZ -- Cartesian power of sets and 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`.