Tee (symbol)
From Infogalactic: the planetary knowledge core
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.
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
<templatestyles src="Reflist/styles.css" />
Cite error: Invalid <references> tag; parameter "group" is allowed only.
<references />, or <references group="..." /><templatestyles src="Asbox/styles.css"></templatestyles>
 |
This logic-related article is a stub. You can help Wikipedia by expanding it. |
<templatestyles src="Asbox/styles.css"></templatestyles>
 |
This mathematics-related article is a stub. You can help Wikipedia by expanding it. |
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
