Tee (Symbol)

From Handwiki

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 ⊤).[4] The symbol is encoded in LaTeX as \top.

A large variant is encoded as U+27D9 ⟙ LARGE DOWN TACK (HTML ⟙) 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. 




Retrieved from "https://handwiki.org/wiki/index.php?title=Tee_(symbol)&oldid=3365732"

Categories: [Logic symbols]

↧ Download as ZWI file | Last modified: 07/26/2024 13:00:02 | 7 views
☰ Source: https://handwiki.org/wiki/Tee_(symbol) | License: CC BY-SA 3.0

✘
ZWI is not signed. [what is this?]

ZWI viewer by the EncyclosphereKSF