Tee (symbol)

  (Redirected from Verum)

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.[5]


In Unicode, the tee character is encoded as U+22A4 DOWN TACK (HTML ⊤ · ⊤, ⊤).[6] 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 alsoEdit


  1. ^ "Comprehensive List of Logic Symbols". Math Vault. 2020-04-06. Retrieved 2020-08-14.
  2. ^ "tautology | Definition & Facts". Encyclopedia Britannica. Retrieved 2020-08-14.
  3. ^ "Definition of TAUTOLOGY". www.merriam-webster.com. Retrieved 2020-08-14.
  4. ^ Weisstein, Eric W. "Tautology". mathworld.wolfram.com. Retrieved 2020-08-14.
  5. ^ "Compendium of Mathematical Symbols". Math Vault. 2020-03-01. Retrieved 2020-08-14.
  6. ^ "Mathematical Operators – Unicode" (PDF). Retrieved 2013-07-20.