Exists in LaTeX

The LaTeX command for exists (∃) is \exists — there exists / existential quantifier.

\exists

Logic · Unicode ∃ (U+2203) · no package needed

How to type Exists

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

p \exists 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\nexists\neg\land\lor\top\bot\therefore\because\lozenge\square\Dashv\vDash\Vdash

Search all 380+ LaTeX symbols →

FAQ

How do you write exists (∃) in LaTeX?

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

Which package provides \exists?

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

loading tool…