Top

⊤

Type it

Ways to write the Top symbol
Unicode	`U+22A4`
LaTeX	`\top`
HTML entity	`&top;`
Character	`⊤`

Meaning

Stands for a statement that is always true. In order theory it also names the greatest element of a lattice. Compare with Perpendicular and Logical Or.

How to read it

P ∨ ¬P ≡ ⊤

is read “P or not P is equivalent to top”.

More Logic symbols