🔍

Loading symbols…

››

∃

there exists

There Exists

∃ says at least one thing meets a condition. In math and logic, it makes an existence claim about a variable without naming which one.

Text symbol

Also called: existential quantifier · backwards E
Search it as: exists symbol · existential · quantifier · ∃ LaTeX
Shows up in: Anything that takes text · its shape is whatever your font draws

What ∃ means

At least one value meets the condition. In ∃x P(x), x is a placeholder and P(x) states its condition; the formula asks whether any value fits, without naming it.

Italian mathematician Giuseppe Peano printed this reversed E in 1897 to say a class (a collection) had at least one member. His 1889 epsilon for set membership (saying an object belongs to a collection) was a different mark, not an earlier form of ∃. Bertrand Russell later used ∃ as a quantifier on a variable, as in formulas today.

Formal notation in logic and mathematics; in casual messages, it can read as unexplained specialist shorthand.

∃ means one or more; exactly one needs an added uniqueness condition.

Don't confuse it with

∀

For All

∀ says “for every”; ∃ says “for at least one.”

Questions people ask

Why does ∃ show as a box on some devices?

Because that device's fonts have no glyph for it. The character is still correct and still copies correctly — the box is a missing glyph, not a broken character.

How to type ∃

Windows (Word)

Alt+XType 2203, then Alt+X to get ∃.

Windows

Win+Rrun charmap for the full table, or use the emoji picker's Ω symbols tab (Win + .).

macOS

Control+Command+SpaceOpen the character viewer and search “there exists”.

Linux

Ctrl+Shift+UType 2203, then Enter or Space.

HTML

∃

CSS

\2203

LaTeX

The LaTeX command \exists works in math mode; for example, $\exists x\,P(x)$.

Codes and encoding1 code points

HTML decimal

∃

HTML hex

∃

CSS content

content: "\2203";

Each escape is closed by the next backslash; a trailing space is needed before a literal hex digit.

URL encoded

%E2%88%83

On screen

Code points

JS .length

UTF-8 bytes

A visible symbol can contain several code points. JS .length counts UTF-16 units; UTF-8 counts bytes.

Families this belongs to

Maths & numbers1,835 symbols

1️⃣📏📐✖️➕➖➗🟰♾️#️⃣*️⃣0️⃣