Tee (symbol)

Tee (symbol)

Verum or tee (⊤, \top in TeX) is a symbol used to represent:

• Top element in lattice theory.
• A logical constant denoting a tautology in logic.

In Unicode, the symbol is encoded as U+22A4 ⊤ down tack (HTML: ⊤).