The tee (, \top in LaTeX) also called down tack (as opposed to the up tack) or verum is a symbol used to represent:

A similar-looking superscript T may be used to mean the transpose of a matrix.


In Unicode, the tee character is encoded as U+22A4 DOWN TACK (HTML ⊤ · ⊤, ⊤).[4] The symbol is encoded in LaTeX as \top.

A large variant is encoded as U+27D9 LARGE DOWN TACK (HTML ⟙) in the Unicode block Miscellaneous Mathematical Symbols-A.

See also


  1. ^ "tautology | Definition & Facts". Encyclopedia Britannica. Retrieved 2020-08-14.
  2. ^ "Definition of TAUTOLOGY". Retrieved 2020-08-14.
  3. ^ Weisstein, Eric W. "Tautology". Retrieved 2020-08-14.
  4. ^ "Mathematical Operators – Unicode" (PDF). Retrieved 2013-07-20.