Bot in LaTeX

The LaTeX command for bot (⊥) is \bot — false / contradiction.

\bot

Logic · Unicode ⊥ (U+22A5) · no package needed

How to type Bot

Write \bot 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 \bot q$

p \bot 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\top\therefore\because\lozenge\square\Dashv\vDash\Vdash

Search all 380+ LaTeX symbols →

FAQ

How do you write bot (⊥) in LaTeX?

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

Which package provides \bot?

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

loading tool…