^** -- a binary operator, usually used for tensor or Cartesian power

Ways to use symbol ^** :

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

For the programmer

The object ^** is a keyword.

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.