e/Falsum

Information
has gloss	eng: A falsum (⊥) is a symbol used to represent: * Perpendicularity of lines in geometry. * Orthogonality in linear algebra. * Independence of random variables in probability theory. * Comparability in order theory. * The bottom type in type theory. * The bottom concept in description logic (which may for example be interpreted as the empty set). * Contradiction in logic. It appears as the upside down "tee" symbol of tautology. "⊥" can also be used to express negation, for example, ¬A can be written as A→⊥. * In number theory it is often used to indicate two integers are coprime, written as "a⊥b". The letter T in upside-down text. See also turnstile (⊢) tee (⊤) Table of mathematical symbols
lexicalization	eng: Falsum
instance of	c/Mathematical symbols