Tee (symbol)
The tee (⊤), also called down tack (as opposed to the up tack) or verum is a symbol used to represent:
- The top element in lattice theory.
- A logical constant denoting a tautology in logic.
- The top type in type theory.
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 ⊤).[1] The symbol is encoded in LaTeX as \top.
See also
Notes
- ↑ "Mathematical Operators – Unicode" (PDF). Retrieved 2013-07-20.
This article is issued from Wikipedia - version of the 8/18/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.