From Wikipedia, the free encyclopedia
(Redirected from ⊤)
- 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.
- "Mathematical Operators – Unicode" (PDF). Retrieved 2013-07-20.
|This logic-related article is a stub. You can help Wikipedia by expanding it.|
|This mathematics-related article is a stub. You can help Wikipedia by expanding it.|