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.