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.

Encoding

In Unicode, the tee character is encoded as U+22A4 ⊤ DOWN TACK (HTML ⊤).^[1] The symbol is encoded in LaTeX as \top.

See also

• Turnstile (⊢)
• Up tack (⊥)
• Falsum
• List of logic symbols
• List of mathematical symbols

Notes

1. "Mathematical Operators – Unicode" (PDF). Retrieved 2013-07-20.