Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Tee (symbol)
Summary
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. 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 similar-looking superscript T may be used to mean the transpose of a matrix.
In Unicode, the tee character is encoded as . The symbol is encoded in LaTeX as \top.
A large variant is encoded as in the Unicode block Miscellaneous Mathematical Symbols-A.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.