For All HTML entity ∀

∀ is the HTML entity for For All ∀ (U+2200). Copy the decimal ∀ and hex ∀ codes plus CSS, JavaScript, Python and URL escapes.

Entity
∀
Also written
∀
Code point
U+2200
Unicode name
FOR ALL
Block
Mathematical Operators
Category
Math symbol (Sm)
Since
Unicode 1.1
Defined in
HTML 4.01 and HTML5

Codes to copy

HTML named∀Works in HTML; in XML only & < > " ' are predefined.
HTML decimal∀Works in HTML and XML.
HTML hex∀Works in HTML and XML.
CSScontent: "\2200";In a stylesheet, for ::before and ::after.
JavaScript"\u2200"Also valid in JSON.
Python"\u2200"Python 3 string literal.
Python by name"\N{FOR ALL}"Readable alternative using the Unicode name.
URL%E2%88%80Percent-encoded UTF-8 bytes, for a path or query value.
UTF-8 bytesE2 88 803 bytes.
UTF-1622001 code unit, which is what JavaScript length counts.

When to use it

The universal quantifier, read 'for all', as in ∀x. Its partner is the existential quantifier ∃.

The name dates from HTML 4, so it works in every browser and in old email clients.

More maths operators

All maths operators · Every HTML entity · Encode or decode text

Source: the WHATWG HTML Standard list of named character references and the Unicode Character Database (Unicode 18.0).