\sqcap - LaTeX Symbol

Back to Symbols

⊓

\sqcap

The \sqcap symbol is used to represent the infimum or greatest lower bound in mathematical expressions, particularly in lattice theory and order theory. It is an operator that combines elements to yield the largest element that is less than or equal to each of them.

Examples

A ⊓ B

Infimum of sets A and B in lattice theory

A \sqcap B

x ⊓ y \leq z

Expression showing that the infimum of x and y is less than or equal to z

x \sqcap y \leq z

i = 1 ⋀ n a_{i} = a_{1} ⊓ a_{2} ⊓ \dots ⊓ a_{n}

Infimum of a sequence of elements a_1 to a_n

\bigwedge_{i=1}^{n} a_i = a_1 \sqcap a_2 \sqcap \ldots \sqcap a_n