How Can We Help?
The up tack (⊥, \bot in TeX) is a constant symbol used to represent:
- Bottom element in lattice theory.
- The bottom type in type theory.
- A logical constant denoting contradiction (falsum) in logic.
It appears as the upside down tee symbol.
The similar-looking perpendicular symbol (⊥, \perp in TeX) 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.
- In number theory it is often used to indicate two integers are coprime, written as "a ⊥ b".
Recent Comments