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