Jump to content

Tee (symbol)

From Wikipedia, the free encyclopedia
(Redirected from Verum)

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.