The tee (⊤,
\top in
LaTeX) also called down tack (as opposed to the
up tack) or verum is a
symbol
A symbol is a mark, sign, or word that indicates, signifies, or is understood as representing an idea, object, or relationship. Symbols allow people to go beyond what is known or seen by creating linkages between otherwise very different conc ...
used to represent:
* The
top element
In mathematics, especially in order theory, the greatest element of a subset S of a partially ordered set (poset) is an element of S that is greater than every other element of S. The term least element is defined dually, that is, it is an eleme ...
in
lattice theory.
* The
truth value of being true in
logic, or a sentence (e.g.,
formula
In science, a formula is a concise way of expressing information symbolically, as in a mathematical formula or a ''chemical formula''. The informal use of the term ''formula'' in science refers to the general construct of a relationship betwee ...
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 mos ...
.
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 (⊥)
*
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