English Wikipedia - The Free Encycl...
Download this dictionary
Tee (symbol)
The
tee
(
⊤
), also called
down tack
(as opposed to the
up tack
) or
verum
is a
symbol
used to represent:
The
top element
in
lattice theory
.
A logical constant denoting a
tautology
in
logic
.
The
top type
in
type theory
.
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