∃

There Exists Symbol (∃)

Copy the There Exists symbol ∃ to your clipboard, and see its Unicode code point, HTML entity, LaTeX command and how to type it on any device.

What does ∃ mean?

The existential quantifier ∃ means “there exists (at least one)”: ∃x such that x² = 2. Its official Unicode name is THERE EXISTS.

Copy & paste: press the Copy button above, then paste ∃ anywhere — Word, Google Docs, email, chat or code.
Windows (Word, WordPad, Outlook): type 2203 then press Alt+X. In any app, Win+. opens the symbol panel.
Mac (any symbol): switch to the Unicode Hex Input keyboard, hold Option and type 2203; or press Ctrl+Cmd+Space and search “there exists”.
Linux (GTK/IBus): press Ctrl+Shift+U, type 2203, then Space.
HTML: ∃ renders as ∃.
LaTeX: \exists in math mode (amssymb package for some symbols).

How do I type ∃ on Windows?

In Microsoft Word type 2203 and press Alt+X. In any app press Win+. to open the symbol panel, or copy ∃ from this page.

How do I type ∃ on a Mac?

Open the Character Viewer with Ctrl+Cmd+Space and search “there exists”, or switch to Unicode Hex Input and hold Option while typing 2203.

What is the HTML code for ∃?

Use ∃ or ∃ (hex) or ∃ (decimal).

What is the LaTeX command for ∃?

Use \exists in math mode.