For All Symbol

A symbol from the Math Symbols collection. Click the symbol or the button below to copy.

Symbol: ∀
Unicode: U+2200
HTML entity: ∀
Category: Math Symbols

Export

Download For All as SVG or PNG — or add a caption to make a labelled icon, badge or sticker.

Add text (optional)

Fill color

Custom

Background

PNG size

Preview

transparent background

Fill color applies to monochrome symbols; multicolor emoji keep their own colors. Add a circle/rounded background to make an app icon or avatar. Exports are self-contained; the SVG embeds the glyph's font. Without a background, exports are transparent.

41 of 96 in the math symbols collection

About the for all symbol

The symbol is read as "for all" and is the universal quantifier in formal logic. It is placed before a variable in a logical statement to indicate that the proposition holds for every instance of that variable within a given domain. In predicate logic, ∀x P(x) means "for all x, P(x) is true."

Beyond logic, it appears in mathematics to denote universal quantification in set theory, algebra, and analysis. It is also used in computer science, particularly in formal verification, type theory, and the specification of program properties. As a mathematical operator, it occupies a standard position in the Unicode Mathematical Operators block.

How to type For All

Native keyboard shortcuts for each operating system — derived from the codepoint, so the steps below are always accurate.

Windows

2 options

In Word / Outlook: type 2200 then press Alt + X.
Anywhere: press Win + . to open the emoji & symbol picker, then search.

macOS

2 options

Enable “Unicode Hex Input” in System Settings → Keyboard, then hold Option and type 2200.
Or: Control + Command + Space opens the Character Viewer — search by name.