Tee (symbol)

Updated on Apr 25, 2026

Edit

Comment

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.

A similar-looking superscript T may be used to mean the transpose of a matrix.

Encoding

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

(Text) CC BY-SA