Xerobit

For All Symbol ∀: Copy and Paste

The for all symbol is ∀. Click the button to copy it, or use the Unicode value U+2200, the HTML code or the keyboard shortcuts below to type it anywhere.

  • Symbol
    ∀
  • Unicode
    U+2200
  • HTML (decimal)
    ∀
  • HTML (hex)
    ∀
  • HTML entity
    ∀
  • CSS
    \2200
  • JavaScript
    \u2200

For All Symbol codes and values

FormatValue
UnicodeU+2200
HTML (decimal)∀
HTML (hex)∀
HTML entity∀
CSS\2200
JavaScript\u2200

The official Unicode name is "For All".

How to type the for all symbol

Windows

  1. In Microsoft Word, type 2200 and press Alt + X to turn the code into ∀.
  2. Or press Win + . to open the emoji and symbol panel and search for it.

Mac

  1. Press Control + Command + Space to open the Character Viewer and search for "for all".
  2. Or add the "Unicode Hex Input" keyboard in System Settings, hold Option and type 2200.

Linux

  1. In GTK apps press Ctrl + Shift + U, type 2200 and press Enter.

Web pages

Write ∀ or ∀ in HTML, or paste the character directly into a UTF-8 page.

Encoding details

EncodingValue
Code pointU+2200 (decimal 8704)
UTF-8 bytesE2 88 80
URL encoded%E2%88%80
CategorySm

What the for all symbol means

The universal quantifier indicates that a statement applies to every member of a specified set. It is fundamental in mathematical logic, computer science, and formal verification to express universally true propositions.

Using the for all symbol well

Encode this symbol using U+2200 in your text or codebase. When publishing online, wrap it in semantic math tags so screen readers can distinguish it from regular typographic characters.

Characters next to it in Unicode

CharacterCodeName
⇽U+21FDLeftwards Open-Headed Arrow
⇾U+21FERightwards Open-Headed Arrow
⇿U+21FFLeft Right Open-Headed Arrow
∁U+2201Complement
∂U+2202Partial Differential
∃U+2203There Exists

FAQ

What is the Unicode for the for all symbol?

The for all symbol ∀ is U+2200 (For All).

How do I type ∀ on a keyboard?

There is no classic Alt code for it. On Windows type 2200 in Word and press Alt + X, on Mac use the Character Viewer, and on Linux press Ctrl + Shift + U then 2200.

What is the HTML code for ∀?

Use ∀ or the named entity ∀. The hexadecimal form is ∀.

More symbols