html-entity
∃
HTML named character reference ∃ maps to U+2203.
Prefer a named reference when the character must survive encoding mistakes or is awkward to type. Numeric references (∃) are always valid HTML for the mapped code point(s).