Exists (∃) is the Unicode character at U+2203 in Mathematical Operators. Official name: THERE EXISTS. HTML5 names it ∃ (alias ∃). It is the existential quantifier: “there exists.”
Remember
Character ∃
Unicode U+2203
Named entity ∃
Aliases ∃
Hex entity ∃
Decimal ∃
CSS escape \2203
Not the same ∀ (∀) · ∄ (∄)
Prefer ∃ in HTML markup. You can also use ∃ / ∃, or type ∃ in a UTF-8 document.
Built with Named: ∃
Built with Hex: ∃
Built with Decimal: ∃
Built with CSS: ∃
Typed: ∃
Logic: ∃x P(x)
How It Works
1. Named:∃ is the preferred HTML5 name for U+2203 → ∃.
2. Hex:∃ inserts the same code point. Same visual as named.
3. Decimal: same code point as 8707 → ∃.
4. CSS: use \2203 in content (not an HTML entity). #point::after appends ∃.
5. Typed: paste ∃ in a UTF-8 document, or write a formula like ∃x P(x).
Pitfalls & Tips
Common mistakes when working with Exists.
Name
Prefer ∃
∃ is the clear HTML5 named form. ∃ is a valid alias. Do not use &exists; — that name is not standard.
∀
Not for all
U+2200 (∀) is the universal quantifier. ∃ means “there exists,” not “for all.”
∄
Not does-not-exist
U+2204 (∄) is the negated form. Prefer it over inventing a crossed-out ∃.
CSS vs HTML
Do not mix escapes
\2203 belongs in CSS strings. ∃ / ∃ / ∃ belong in HTML.
Fonts
Math operator coverage
Some fonts omit Mathematical Operators. Prefer a font with solid math coverage for logic pages.
a11y
Add accessible text
Screen readers may not announce ∃ clearly. Prefer nearby prose (for example “there exists”) when the symbol carries meaning.
Semicolon
End references
Always finish entities with ; — write ∃, not &exist.
Compatibility
Browser Support
Exists (U+2203) and its entity forms (∃, ∃, ∃, CSS \\2203) are supported in all mainstream browsers. Visible glyphs depend on Mathematical Operators font coverage.
✓ Universal support
Exists (∃)
Encode with named, hex, decimal, CSS escape, or type the character — same code point everywhere encoding is supported.
100%Browser coverage
Google ChromeSupported
Yes
Microsoft EdgeSupported
Yes
Mozilla FirefoxSupported
Yes
Apple SafariSupported
Yes
OperaSupported
Yes
Internet ExplorerAll versions
Yes
U+2203 / ∃Full support
Bottom line: Prefer ∃ in HTML. Use ∃ / ∃ when numeric form is required, and \\2203 only inside CSS content.
Remember
Key Takeaways
Unicode: exists is U+2203 (decimal 8707) — glyph ∃.
HTML: prefer ∃ (alias ∃).
CSS: use \2203 inside content for generated text.
Meaning: ∃ ≠ for all ∀ ≠ does not exist ∄.
One line:U+2203 → ∃ / ∃ / CSS \2203.
Frequently Asked Questions
Use ∃ (named), ∃ (hex), ∃ (decimal), type ∃ directly in UTF-8, or the CSS escape \2203 in content. Alias ∃ also resolves to U+2203.
U+2203 (THERE EXISTS). Hex 2203, decimal 8707. It belongs to the Mathematical Operators block (U+2200–U+22FF).
Yes. ∃ is the preferred HTML5 named entity for U+2203. ∃ is a valid alias. Note: &exists; (all lowercase s) is not a standard named entity.
Use it for the existential quantifier in logic and math (for example ∃x P(x)). Prefer ∀ for universal quantification, and ∄ when you need “does not exist.”
HTML entities (∃, ∃, or ∃) go in markup. The CSS escape \2203 goes in stylesheet strings (usually content on ::before/::after).
No. U+2203 is ∃ (there exists). U+2200 is ∀ (for all). U+2204 is ∄ (there does not exist).
🤔
Did you know?
Exists is Unicode U+2203 (decimal 8707) — glyph ∃ (THERE EXISTS) in Mathematical Operators. HTML5 names it ∃ (alias ∃). It is the existential quantifier in logic. Negation is ∄ / ∄ (∄). Pair with for all (∀, ∀).
