For All
Part of Math Symbols
For All has no standard Windows Alt code. Copy the character directly, or use its HTML entity or Unicode value instead.
- Alt code
- None
- HTML entity
- ∀
- Unicode
- U+2200
About this symbol
The upside-down A means “for all”, as in ∀x, for every x. The German logician Gerhard Gentzen introduced it in 1935, turning the A of the German alle, all, the same way Peano had turned an E to make ∃.
Unicode facts
- Official name
- FOR ALL
- Also called
- Universal quantifier
- Type
- Maths symbol
- Unicode block
- Mathematical Operators
- Unicode group
- Miscellaneous mathematical symbols
- Added in
- Unicode 1.1 (1993)
Click the symbol or any value at the top of the page to copy it. See the full Math Symbols chart for related characters.