Tee (symbol)
(Redirected from Verum)
The tee (⊤, \top in LaTeX), also called down tack (as opposed to the up tack) or verum,[1] is a symbol used to represent:
- The truth value of being true in logic, or a sentence (e.g., formula in propositional calculus) which is unconditionally true.[2][3][4] By definition, every tautology is logically equivalent to the verum.
- The top type in type theory.
- The top element in lattice theory.
- Mixed radix encoding in the APL programming language.
- A lowered phonic in the International Phonetic Alphabet and phonetics. In this usage, it is usually written under the primary IPA symbol.
A similar-looking superscript T may be used to mean the transpose of a matrix.
Encoding
[edit | edit source]In Unicode, the tee character is encoded as U+22A4 ⊤ <reserved-22A4> (⊤, ⊤).[5] The symbol is encoded in LaTeX as \top.
A large variant is encoded as U+27D9 ⟙ <reserved-27D9> in the Unicode block Miscellaneous Mathematical Symbols-A.
See also
[edit | edit source]Notes
[edit | edit source]- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
