∀
For All Symbol (∀)
Copy and paste the for all symbol ∀ — click the button or any variant below
For All Symbol Copy and Paste
Click any symbol below to copy it to your clipboard instantly.
∀
For All
Copied!
∄
There Does Not Exist
Copied!
About the For All Symbol
Last reviewed on October 1, 2026
The universal quantifier ∀ reads “for all” or “for every”: ∀x ∈ ℝ, x² ≥ 0.
Where ∀ is used
- Predicate logic and formal proofs.
- Definitions in analysis (∀ε > 0 ∃δ > 0 …).
- Type theory and programming-language specifications.
Related characters
Browse the full Mathematical Symbols list, or pick a sibling character from the grid below.
How to Type the For All Symbol
Windows: Type 2200 then press Alt+X in Word to convert it into ∀
Mac: Press Ctrl+Cmd+Space to open the Character Viewer and search for “for all”
Microsoft Word: Type 2200 then press Alt+X to convert it into ∀
LaTeX: \forall in math mode
HTML: Use the entity ∀ or the numeric code ∀
Phone & tablet: Copying ∀ from this page is fastest — see our mobile typing guide for keyboard tricks
For All Symbol Code for HTML, CSS & JavaScript
HTML: ∀
CSS: content: '\2200';
JavaScript: '\u2200'
Unicode: U+2200
Frequently Asked Questions
How do I type the for all symbol ∀ on Windows?
Type 2200 then press Alt+X in Word to convert it into ∀. You can also copy ∀ straight from this page — it pastes into any app.
How do I type ∀ on a Mac?
Press Ctrl+Cmd+Space to open the Character Viewer and search for “for all”.
What is the Unicode and HTML code for the for all symbol?
The for all symbol is Unicode code point U+2200. In HTML, use ∀ or the numeric reference ∀.
How do I write ∀ in LaTeX?
Use \forall in math mode, for example $\forall$.