Tee (symbol)

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.[1][2][3] 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 (HTML `&#8868;`).[4] The symbol is encoded in LaTeX as `\top`.

A large variant is encoded as U+27D9 ⟙ LARGE DOWN TACK (HTML `&#10201;`) in the Unicode block Miscellaneous Mathematical Symbols-A.

## See also

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

## Notes

1. ↑ "tautology | Definition & Facts" (in en). https://www.britannica.com/topic/tautology.
2. ↑ "Definition of TAUTOLOGY" (in en). https://www.merriam-webster.com/dictionary/tautology.
3. ↑ Weisstein, Eric W.. "Tautology" (in en). https://mathworld.wolfram.com/Tautology.html.
4. ↑ "Mathematical Operators – Unicode". https://www.unicode.org/charts/PDF/U2200.pdf. Retrieved 2013-07-20.

* v
* t
* e

Common logical symbols

∧ or &

and

¬ or ~

not

implies

implies,
superset

iff

nand

universal
quantification

existential
quantification

tautology

false,
contradiction

entails,
proves

entails,
therefore

therefore

because

|
|
|
|
|
|
|
|
|
|
|
|
|
|

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Tee (symbol). Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Tee_(symbol)&oldid=237663"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template