∀
∀ For All Symbol
The for-all symbol (∀) is the universal quantifier — “for every”. It is an upside-down A, and its own Unicode character, not a rotated letter.
Also known as: for all symbol, forall sign, upside down a, universal quantifier.
Codes
| Symbol | ∀ | |
| There exists (partner) | ∃ · U+2203 | |
| Unicode | U+2200 | |
| HTML entity (named) | ∀ | |
| HTML entity (decimal) | ∀ | |
| HTML entity (hex) | ∀ | |
| CSS | \2200 | |
| LaTeX | \forall |
How to type ∀ (For All Symbol)
Windows2200, Alt + X
There is no Alt code for ∀. In Word, type 2200 then press Alt + X. Elsewhere, copy ∀ above or use Character Map.
Mac
Open Character Viewer (Control + Cmd + Space) and search “for all”, or copy ∀ above.
Microsoft Word2200, Alt + X
Type 2200, then press Alt + X to convert it to ∀.
Google Docs
Insert → Special characters, then search “for all”. In an equation, \forall followed by a space also works.
LaTeX\forall
Use \forall in math mode: \forall x \in \mathbb{R}, x^2 \geq 0.
Usage
- ∀ reads “for all” or “for every”: ∀x ∈ ℝ, x² ≥ 0 says every real number squared is at least zero.
- ∀ and ∃ are the two quantifiers and travel together: ∀ (U+2200) is universal (“for every”), ∃ (U+2203) is existential (“there exists”). ∄ (U+2204) is “there does not exist”.
- Negating swaps them: ¬(∀x P(x)) is the same as ∃x ¬P(x) — “not everything has property P” means “something lacks it”.
- ∀ is its own character, not a rotated letter A. Typing an A and flipping it in your editor produces a glyph that will not copy, search or render as the quantifier.