Unicode Character "∀" (U+2200)

The character ∀ (For All) is represented by the Unicode codepoint U+2200. It is encoded in the Mathematical Operators block, which belongs to the Basic Multilingual Plane. It was added to Unicode in version 1.1 (June, 1993). It is HTML encoded as ∀.

Main Unicode Properties

Name For All
Unicode Codepoint U+2200
Unicode Version 1.1 (June, 1993)
Block Mathematical Operators
Plane Basic Multilingual Plane

Bidirectional Data

Bidirectional class Other Neutral (ON)
Is mirrored? No

Other Unicode Data

Category Math Symbol
Script Code for undetermined script
Combining Class Not Reordered

U+2200 Conversion

HTML (decimal) ∀
HTML (hex) ∀
HTML (named) ∀
URL Escape Code %E2%88%80
CSS \002200
JavaScript, JSON \u2200
C, C++, Java \u2200
Python \u2200
Rust \u{2200}
Ruby \u2200

How to type "∀"

  • Windows ?: Hold Alt, then type 2 2 0 0. Release Alt.
  • Mac ?: Hold Alt ⌥, then type 2 2 0 0. Release Alt.

Preview

  • ∀
    Times, Times New Roman, serif
  • ∀
    Helvetica, Arial, sans-serif
  • ∀
    Courier, Courier New, monospace

UTF Encodings

UTF-8 (hex) 0xE2 0x88 0x80
UTF-16 (hex) 0x2200
UTF-32 (hex) 0x00002200

References