The there exists symbol is ∃. Windows has no standard Alt code for it, so the reliable route in Word is to type 2203 and press Alt+X.
On Mac, open the Character Viewer with Ctrl+Cmd+Space and search “there exists. ” Everywhere else, copy it below and paste.
This is the existential quantifier from predicate logic, read as “there exists” or “there is at least one.” It sits at code point U+2203. Below is every working method, one per platform, plus the fonts that break it and the symbols people type by mistake.
Quick reference table
| Method | Input | Works in |
|---|---|---|
| Windows Alt code (decimal) | 2203 then Alt+X in Word | Unicode-aware Windows apps only, needs a numeric keypad |
| Word Alt+X (hex) | 2203 then Alt+X | Word, Outlook, OneNote |
| Mac | Character Viewer (Ctrl+Cmd+Space) | Most Mac apps |
| Chromebook / Linux (hex) | Ctrl+Shift+U 2203 | ChromeOS, Linux |
| Excel & Sheets | =UNICHAR(8707) | Excel, Google Sheets |
| HTML named entity | ∃ | Web pages |
| HTML numeric | ∃ (decimal) / ∃ (hex) | Web pages |
| CSS escape | \2203 | Stylesheets |
| LaTeX | \exists | Math mode |
| Unicode code point | U+2203 | Universal reference |
Note the two different numbers. Alt codes take the decimal value 8707.
The Word, Chromebook, and CSS methods take the hex value 2203. Do not put 2203 into an Alt code or 8707 into Alt+X, since each produces the wrong result or nothing.
Windows
There is no legacy Windows Alt code for ∃ in the standard Western character set, so you will not find a short three-digit code that works everywhere. The zero-less code 2203 then Alt+X in Word works only in Unicode-aware programs such as newer versions of WordPad and some text editors, and it fails in older or plain-text fields.
- Make sure Num Lock is on and you have a numeric keypad. The number row across the top will not work.
- Hold Alt and type 8707 on the keypad.
- Release Alt. If the app supports it, ∃ appears.
If that does nothing, use Character Map instead. Press the Windows key, type charmap, open it, tick “Advanced view,” search for “there exists,” then copy the glyph. That path works in any app.
Mac
Mac has no Alt codes and no dedicated Option shortcut for this symbol. Use the Character Viewer.
- Press Ctrl+Cmd+Space to open the Character Viewer.
- Type “there exists” in the search box.
- Double-click ∃ to drop it into your text field.
If you paste ∃ often, add it under System Settings → Keyboard → Text Replacements. Set a shortcut like ;exists and macOS will swap it for the glyph across every app.
Word, Outlook, and OneNote
Word has the cleanest method for this symbol. Type the hex code and convert it in place.
- Type 2203 where you want the symbol.
- Press Alt+X. Word replaces 2203 with ∃.
The same Alt+X trick works in Outlook and OneNote. It does not work in Excel, PowerPoint, or Google Docs, so do not carry it over there.
For a menu route, use Insert → Symbol → More Symbols, set the font to a full-coverage face, and find ∃ under the Mathematical Operators subset. The identical Insert → Symbol path works in PowerPoint, which is why PowerPoint does not need its own steps here.
Excel and Google Sheets
Both spreadsheet apps build the character from its decimal code with a formula. In a cell, type:
=UNICHAR(8707)
Press Enter and the cell shows ∃. To keep it as fixed text rather than a formula, copy the cell and paste it back as values.
Google Sheets has no Insert Symbol menu, so this formula, a paste, or a text-replacement rule are your only options there. If you want to use an OS input method inside a Sheets cell, press F2 first to enter edit mode.
Google Docs
Google Docs has a proper special-character picker with a draw-to-find search.
- Open Insert → Special characters.
- Type “there exists” in the search box, or draw the symbol in the sketch pad on the right.
- Click ∃ to insert it.
iPhone and Android
Neither mobile keyboard has ∃ on a key or a long-press menu. The quickest fix is a text replacement.
- iPhone: Settings → General → Keyboard → Text Replacement. Paste ∃ as the phrase and set a shortcut like exists1.
- Android: in Gboard, go to Settings → Dictionary → Personal dictionary, add ∃, and give it a shortcut word.
Until then, copy ∃ from this page and paste it wherever you need it.
Chromebook
ChromeOS has no Alt codes, and plugging in a USB numpad will not change that, since the feature is Windows software rather than keypad hardware. Use the Unicode input shortcut instead.
- Hold Ctrl+Shift+U. An underlined u appears.
- Type 2203 with no U+ prefix.
- Press Enter or Space. The code becomes ∃.
Some web text fields swallow this shortcut. If nothing appears, open the emoji and symbol picker with Launcher+Shift+Space, or just paste.
Notion, Slack, Discord, and Canva
None of these apps has a keyboard shortcut for ∃, so the honest answer is: paste it. Copy the glyph from the top of this page and drop it into any message, block, or text box.
To make it permanent, lean on the OS text replacement you set up for Mac or mobile, since it fires inside these apps too. Slack also has custom aliases, but those are for emoji images, not plain-text symbols, so a text replacement is the better route for ∃.
HTML and CSS
On the web you have a named entity and two numeric forms. Use whichever fits your source.
- Named entity:
∃ - Numeric decimal:
∃ - Numeric hex:
∃ - CSS content value:
\2203
When ∃ won’t show up
The usual failure is a missing glyph. Some display faces and older system fonts do not include Mathematical Operators, so ∃ renders as a hollow box (□) or a question mark. Switch the text to a font with wide coverage, such as Cambria Math, DejaVu Sans, or Segoe UI Symbol, and it fills in.
The symbol also gets confused with a reversed capital E typed by hand. A rotated letter looks close but carries the wrong code and will not read as a quantifier to search or math tools, so always use the real U+2203 character. Watch for ∃!
as well, which pairs ∃ with an exclamation mark to mean “there exists exactly one. ” That is a two-character combination, not a separate glyph.
Where you’ll use it
∃ is the existential quantifier in logic and set theory. You read it as “there exists” or “there is some,” as in ∃x such that x > 0. It shows up in proofs, formal specifications, and database theory alongside its partner ∀ for universal statements.
Related symbols
- The for all symbol (∀) is the flip side of ∃, meaning “for every” instead of “there exists.”
- The element of symbol (∈) says a value belongs to a set, and often follows ∃ in a statement.
- The not an element of symbol (∉) is ∈ with a slash, meaning a value is not in the set.
- The proportional to symbol (∝) is another math operator people hunt for by shape rather than name.
- The nabla symbol (∇) is the inverted triangle used for gradients and divergence.
Frequently asked questions
Can I type ∃ without a numeric keypad?
Yes. The 2203 then Alt+X in Word route needs a keypad, but the Word Alt+X method (type 2203, press Alt+X) does not, and neither does copy-paste or a text replacement. On a laptop without a keypad, those are the practical options.
Is ∃ just a backwards E?
It looks like one, but it is its own Unicode character, THERE EXISTS at U+2203. A capital E you rotate manually has a different code and will not be recognized as a logic symbol by fonts, search, or math software.
How do I write “there exists exactly one”?
Add an exclamation mark: ∃!. That is the uniqueness quantifier, and it is simply the ∃ glyph followed by a normal exclamation point, not a single combined character.
Why does 2203 then Alt+X in Word work on one PC but not another?
The zero-less decimal code only fires in Unicode-aware apps. A modern editor may accept it while a plain-text box or an older program ignores it. When results vary, use Word’s Alt+X or paste instead for consistency.
How do I type ∃ in LaTeX?
Use \exists in math mode. For “there exists exactly one,” most setups accept \exists!
or you can write \exists ! for spacing.
More typing guides
For symbols with no memorable Alt code, the Alt code finder tool looks up the exact input for you. Browse the rest of the math and science symbol guides for operators and Greek letters, or keep the full Alt code list handy as a single reference for every character on the site.