TeXipedia

boxtimes

Represents a binary operation symbol showing a multiplication cross inside a box, commonly used in mathematical notation.

Overview

Serves as a specialized mathematical operator primarily found in abstract algebra and formal mathematical proofs where distinct multiplication-like operations need clear visual differentiation.

  • Often appears in group theory and ring theory to denote specific binary operations
  • Used when standard multiplication symbols (× or ·) need visual distinction
  • Particularly useful in contexts where multiple different multiplication-type operations appear together
  • Commonly found in advanced mathematics papers and textbooks where formal notation clarity is essential

Examples

Representing a binary operation in abstract algebra.

A⊠B={a⊠b:a∈A,b∈B}A \boxtimes B = \{a \boxtimes b : a \in A, b \in B\} 
A \boxtimes B = \{a \boxtimes b : a \in A, b \in B\}

Denoting the box tensor product of modules.

M⊠N=⨁i,jMi⊠NjM \boxtimes N = \bigoplus_{i,j} M_i \boxtimes N_j 
M \boxtimes N = \bigoplus_{i,j} M_i \boxtimes N_j

Indicating a special multiplication operation in quantum algebra.

(x⊠y)(u⊠v)=(xu)⊠(yv)(x \boxtimes y)(u \boxtimes v) = (xu) \boxtimes (yv) 
(x \boxtimes y)(u \boxtimes v) = (xu) \boxtimes (yv)