For all (∀) in LaTeX
\forall typesets the universal quantifier ∀, read 'for all' or 'for every', used to state that a property holds for every member of some set.
LaTeX command
\forallNot the symbol you meant? Draw it to find the command →
The universal quantifier opens a statement that must hold for every object in a given domain. \forall x \in \mathbb{R},\ says that squaring gives a non-negative result no matter which real number x you pick. The domain (here \mathbb{R}) should always be stated explicitly, either with \in or in a preceding \text{} clause, so the reader knows exactly what is being quantified over.
Universal statements combine naturally with the existential quantifier \exists. Order matters: \forall x\, \exists y,\ P(x,y) is a very different claim from \exists y\, \forall x,\ P(x,y), the first lets y depend on x, the second demands one y that works for every x. Get the order wrong and the mathematics changes meaning.
To negate a universal claim, push the negation inside and flip the quantifier: \neg(\forall x, P(x)) is logically equivalent to \exists x, \neg P(x). This rule, applied repeatedly, is exactly how you write the negation of a limit definition or a convergence statement.
Other forms
\existsthere exists (∃)\nexiststhere is no (∄)Examples
$\forall x \in \mathbb{R},\ x^2 \geq 0$a universally quantified statement over the reals
$\forall \varepsilon > 0\ \exists \delta > 0 \text{ such that } |x-a|<\delta \implies |f(x)-f(a)|<\varepsilon$the epsilon-delta definition of continuity, quantifiers in the natural order
$\neg(\forall x, P(x)) \iff \exists x, \neg P(x)$negating a universal statement
$\forall n \in \mathbb{N},\ n \geq 0$every natural number is non-negative
Tips and common mistakes
- Always state the domain of quantification, , rather than a bare
\forallx with the set left implicit; it removes any ambiguity about what is being ranged over. - Watch the order of nested quantifiers carefully:
\forallx\,\existsy and\existsy\,\forallx are not equivalent, swapping them is one of the most common logic errors in analysis proofs. - Use a small space,
\,, between the quantifier and the variable, or between chained quantifiers, so the expression does not run together visually. - To negate
\forall, flip it to\existsand negate the inner statement; do this one quantifier at a time when there are several in a row. \forallneeds no extra package in standard LaTeX or KaTeX; it is a core symbol available by default.
Working from handwritten notes?
LatexNotes turns a photo or PDF of handwritten mathematics into clean, compilable LaTeX - graphs and all. Free to try, no sign-up.
Convert your maths to LaTeX →FAQ
What does \forall mean?
It is the universal quantifier, read 'for all' or 'for every'. \forall x, P(x) asserts that the property P holds for every value of x in the relevant domain.
How do I write the domain with \forall?
Use \in directly after the variable, as in \forall x \in \mathbb{R}, ..., so the reader immediately knows which set x ranges over, rather than leaving it to be inferred from context.
How do I negate a \forall statement?
Negating \forall x, P(x) gives \exists x, \neg P(x): the universal flips to an existential, and the inner statement is negated. Apply this rule one quantifier at a time for nested statements.
Does the order of \forall and \exists matter?
Yes, strongly. \forall x\, \exists y, P(x,y) allows y to depend on x, while \exists y\, \forall x, P(x,y) demands a single y that works simultaneously for every x. These are generally different statements, so never swap the order without checking.