For all in LaTeX

The LaTeX command for forall (∀) is \forall (for all / universal quantifier).

\forall

Logic · Unicode ∀ (U+2200) · no package needed

Writing a paper? The table generator and the BibTeX cleaner are one click away, no account.

Which command should you use?

Command	Package	Use it when
`\forall` recommended	none	Universal quantifier.
`\exists`	none	Existential quantifier.
`\exists!`	none	There exists a unique.
`\nexists`	`amssymb`	There does not exist.

Table 1. Ways to write forall in LaTeX. Every line was compiled with pdfLaTeX (TeX Live 2026) loading only the package shown.

How to type For all

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

Example

$\forall \varepsilon > 0, \exists \delta > 0$

\forall \varepsilon > 0, \exists \delta > 0

Open this example in the live preview: it renders as you type, with no compiler and no signup.

Related Logic symbols

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

Logic symbols in LaTeX: the full table or search all 350+ LaTeX symbols.

FAQ

How do you write forall (∀) in LaTeX?

Use \forall in math mode; it needs no extra package. For example, $\forall \varepsilon > 0, \exists \delta > 0$.

Which package provides \forall?

None: \forall is built into LaTeX, so no extra package is required.