From Wikipedia, the free encyclopedia
(Redirected from ⊥)
|This article does not cite any references or sources. (October 2011)|
- Bottom element in lattice theory.
- The bottom type in type theory.
- A logical constant denoting Contradiction in logic.
It appears as the upside down tee symbol, and as such is sometimes called eet.
- Perpendicularity of lines in geometry.
- Orthogonality in linear algebra.
- Independence of random variables in probability theory.
- Comparability in order theory.
- Coprimality in number theory.
See also 
- Phallic symbol in Psychoanalysis
- Table of mathematical symbols
- Plus and minus signs#Alternative plus sign
- List of mathematical symbols