Misplaced Pages

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

• The top element in lattice theory.
• The truth value of being true in logic, or a sentence (e.g., formula in propositional calculus) which is unconditionally true. By definition, every tautology is logically equivalent to the verum.
• The top type in type theory.
• Mixed radix encoding in the APL programming language.
• A lowered phonic in the International Phonetic Alphabet and phonetics. In this usage, it is usually written under the primary IPA symbol.

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 (⊤, ⊤). 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

• Turnstile (⊢)
• Up tack (⊥)
• List of logic symbols
• List of mathematical symbols

Notes

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.

v t e Common logical symbols
∧  or  & and ∨ or ¬  or  ~ not → implies ⊃ implies, superset ↔  or  ≡ iff | nand ∀ universal quantification ∃ existential quantification ⊤ true, tautology ⊥ false, contradiction ⊢ entails, proves ⊨ entails, therefore ∴ therefore ∵ because
Philosophy portal Mathematics portal

This logic-related article is a stub. You can help Misplaced Pages by expanding it.

• v
• t
• e

• Logic symbols
• Typographical symbols
• Logic stubs