14.22.1 Tensor Map Product Symbol Notation

Tensor Map Product Symbol Notation is the specific typographic and historical treatment of the character used to denote the tensor product of maps, covering its standard rendering, its encoding in mathematical typesetting, the historical alternatives that preceded it, and the rules distinguishing when it may be omitted from an expression and when it must always appear explicitly.

The Standard Symbol

Rendering and Typesetting

The tensor product of maps is denoted by the circled cross $\otimes$, produced in typeset mathematics by the command conventionally named for the tensor operation and rendered identically whether the flanking objects are vector spaces, vectors, or maps; its Unicode codepoint places it among the circled operator symbols, alongside the circled plus $\oplus$ used for direct sums and the circled dot used for other bilinear operations in some texts.

Distinguishing It From Visually Similar Symbols

The circled cross $\otimes$ is visually distinct from the plain multiplication cross $\times$, used for the Cartesian product of sets, and from the circled plus $\oplus$, used for direct sums; because these symbols appear in closely related but mathematically distinct contexts, texts that use more than one of them in the same discussion rely on the reader distinguishing the circle-enclosed operators from the plain cross by sight.

Historical Alternatives

Early Use of the Plain Cross

In some older or more elementary treatments, particularly ones drawing on the Kronecker product of matrices before the abstract tensor product of vector spaces became standard, the plain symbol $\times$ was used where a modern text would use $\otimes$, a usage that has since become uncommon precisely because of the resulting clash with Cartesian product notation.

Juxtaposition Without Any Symbol

Some older matrix-theoretic sources denote the Kronecker product of two matrices by simple juxtaposition or by a specially named operation with no infix symbol at all, writing something equivalent to $\text{Kron}(F,G)$; this functional notation avoids symbol clashes entirely but is less common in modern usage, where the infix $\otimes$ is preferred for its visual resemblance to ordinary multiplication.

When the Symbol May Be Omitted

Never Omitted for the Tensor Product of Maps Itself

Unlike ordinary multiplication, where juxtaposition such as $ab$ is understood to mean $a\cdot b$, the tensor product symbol between two maps is never omitted: writing $fg$ in place of $f\otimes g$ would be read as composition or, in a noncommutative operator algebra, as an entirely different operation, so the explicit $\otimes$ is mandatory whenever the tensor product of maps is meant.

Contrast With Composition Notation

Composition of maps is denoted $f\circ g$, or sometimes by juxtaposition $fg$ in operator-algebra contexts, and the presence or absence of an explicit $\otimes$ is precisely what tells the reader whether composition or tensor product is intended in a passage where both operations on the same two maps might plausibly appear.

The Symbol in Iterated and Powered Expressions

Repeated Symbol Versus Big-Operator Symbol

A short tensor product of a fixed, small number of maps is written with the symbol repeated between each pair, $f\otimes g\otimes h$, while a tensor product over an indexed, possibly large or symbolic, family of maps uses the enlarged big-tensor symbol $⨂$, visually a larger version of the same circled cross with subscript and superscript index ranges attached, mirroring the relationship between the plain plus sign and the summation sign.

Superscript Power Notation

Repeated tensoring of a single map with itself is abbreviated using an ordinary superscript position attached to the tensor symbol, $f^{\otimes k}$, rather than repeating $f$ explicitly $k$ times, a notational economy directly parallel to the use of ordinary exponent notation for repeated ordinary multiplication.

Practical Guidance for Choosing Notation

Consistency Within a Single Document

Whichever symbol convention is adopted, whether the standard circled cross, an older plain cross, or a functional Kronecker notation, consistency within a single derivation or document is more important than which specific convention is chosen, since the primary risk in symbol notation is a reader misidentifying which operation among tensor product, Cartesian product, direct sum, and composition a given occurrence of a symbol is meant to represent.