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

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

Encoding

edit

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

edit

Notes

edit
  1. ^ Polkowski, Lech T. (2023). "Logic: Reference Book for Computer Scientists". Intelligent Systems Reference Library. 245: 180. doi:10.1007/978-3-031-42034-4. ISBN 978-3-031-42033-7. ISSN 1868-4394.
  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. ^ "Mathematical Operators – Unicode" (PDF). Retrieved 2013-07-20.