- CoherentSheaf ^** ZZ -- tensor power
- "Expression ^** Expression" -- see Expression -- the class of all expressions
- "Expression ^** Holder" -- see Expression -- the class of all expressions
- "Expression ^** Thing" -- see Expression -- the class of all expressions
- "Holder ^** Expression" -- see Expression -- the class of all expressions
- "Holder ^** Holder" -- see Expression -- the class of all expressions
- "Thing ^** Expression" -- see Expression -- the class of all expressions
- Module ^** ZZ -- tensor power
- "Monoid ^** ZZ" -- see tensor(Monoid,Monoid) -- tensor product of monoids
- "Ring ^** ZZ" -- see tensor(Monoid,Monoid) -- tensor product of monoids
- 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.