∀

For All

Unicode
U+2200
Category
Math
HTML Entity
∀
CSS
\2200
The 'For All' symbol (∀) is a standard mathematical notation used in logic and set theory to represent universal quantification. Derived from an inverted capital letter A, it asserts that a specific premise or condition applies to every element within a given set. While primarily found in complex equations and formal proofs, it occasionally appears in technical discussions as a precise shorthand for 'every' or 'universal'.

How to Type

Windows
Type 2200 then Alt+X (in Word), or Win+. then search 'for all'
macOS
Control+Command+Space then search 'for all'
Linux
Ctrl+Shift+U then 2200 then Enter
HTML
∀ or ∀

In Programming

Developers use the LaTeX command \forall to render this symbol in mathematical typesetting. It also appears in formal logic software and functional programming languages like Haskell to denote universally quantified types.

Read full meaning article

Tags

LaTeX forall all elements every every element forall formal logic inverted A logic math notation mathematics predicate logic set theory universal quantifier universal quantifier symbol

Related Symbols

± Plus Minus Sign × Multiplication Sign ÷ Division Sign ≠ Not Equal To ≈ Approximately Equal To ∞ Infinity √ Square Root ∑ Summation ∫ Integral π Pi ≤ Less Than or Equal To ≥ Greater Than or Equal To