Up tack

The up tack or falsum (⊥, \bot in LaTeX, U+22A5 in Unicode^[1]) is a constant symbol used to represent:

The bottom element in lattice theory
The bottom type in type theory
A logical constant denoting contradiction in logic (false)

The glyph of the up tack appears as an upside-down tee symbol, and as such is sometimes called eet (the word "tee" in reverse).^{[citation needed]}

The similar-looking perpendicular symbol (⟂, \perp in LaTeX, U+27C2 in Unicode) is a binary relation symbol used to represent:

Perpendicularity of lines in geometry
Orthogonality in linear algebra
Independence of random variables in probability theory
Comparability in order theory
Coprimality in number theory

Notes

^ "Mathematical Operators – Unicode" (PDF). Retrieved 2013-07-20.

This mathematics-related article is a stub. You can help Wikipedia by expanding it.

This psychology-related article is a stub. You can help Wikipedia by expanding it.

[1] "Mathematical Operators – Unicode" (PDF). Retrieved 2013-07-20.

[1]

See also

Notes