Tee (symbol)

The tee, also called down tack or verum, is a symbol used to represent:

The truth value of being true in logic, or a sentence which is unconditionally true. 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

In Unicode, the tee character is encoded as. The symbol is encoded in LaTeX as \top.
A large variant is encoded as in the Unicode block Miscellaneous Mathematical Symbols-A.