Top in LaTeX

The LaTeX command for top (⊤) is \top — true / tautology.

\top

Logic · Unicode ⊤ (U+22A4) · no package needed

How to type Top

Write \top inside math mode — that is, between $…$ for inline math or in a \[ … \] / equation block for display math. It is part of core LaTeX math, so no extra package is required.

Example

$p \top q$

p \top q

Prefer to see it live? Paste it into the LaTeX preview and it renders as you type — no compiler, no signup.

Related Logic symbols

\forall\exists\nexists\neg\land\lor\bot\therefore\because\lozenge\square\Dashv\vDash\Vdash

Search all 380+ LaTeX symbols →

FAQ

How do you write top (⊤) in LaTeX?

Use \top in math mode — it needs no extra package. For example, $p \top q$.

Which package provides \top?

None — \top is built into LaTeX's math mode, so no extra package is required.

loading tool…