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.

Encoding

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

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

See also

Notes

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