HOME

TheInfoList



OR:

The tee (⊤, \top in LaTeX) also called down tack (as opposed to the
up tack The up tack or falsum (⊥, \bot in LaTeX, U+22A5 in Unicode) is a constant symbol used to represent: * The truth value 'false', or a logical constant denoting a proposition in logic that is always false (often called "falsum" or "absurdum"). * ...
) 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 APL (named after the book ''A Programming Language'') is a programming language developed in the 1960s by Kenneth E. Iverson. Its central datatype is the multidimensional array. It uses a large range of special graphic symbols to represent mo ...
. A similar-looking superscript T may be used to mean the transpose of a matrix.


Encoding

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.


See also

* Turnstile (⊢) *
Up tack The up tack or falsum (⊥, \bot in LaTeX, U+22A5 in Unicode) is a constant symbol used to represent: * The truth value 'false', or a logical constant denoting a proposition in logic that is always false (often called "falsum" or "absurdum"). * ...
(⊥) *
Falsum The up tack or falsum (⊥, \bot in LaTeX, U+22A5 in Unicode) is a constant symbol used to represent: * The truth value 'false', or a logical constant denoting a proposition in logic that is always false (often called "falsum" or "absurdum"). * ...
* List of logic symbols * List of mathematical symbols


Notes

Logic symbols {{Math-stub