Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
up tack
English Wikipedia - The Free Encyclopedia
Download this dictionary
Up tack
The
up tack
or
falsum
(
⊥
,
\bot
in
LaTeX
, U+22A5 in
Unicode
) is a constant
symbol
used to represent:
The
bottom element
in
lattice theory
The
bottom type
in
type theory
A logical constant denoting
contradiction
in logic (
false
)
The
glyph
of the up tack appears as an upside-down
tee symbol
, and as such is sometimes called
eet
(the word "tee" in reverse).
See more at Wikipedia.org...
© This article uses material from
Wikipedia
®
and is licensed under the
GNU Free Documentation License
and under the
Creative Commons Attribution-ShareAlike License