| Symbol Name | There Exists |
| Unicode Version | 1.1 |
| Unicode | U+2203 |
| Unicode block | |
| General category | Math Symbol (Sm) |
| CSS Code | \2203 |
| Hex Code | 0x2203 |
| HTML Code | ∃ |
| LaTeX | \exists |
| Symbol | ∃ |
| URL encode (UTF-8 percent) | %E2%88%83 |
| Spoken / screen reader name | There Exists |
| UTF-8 | E2 88 83 |
| UTF-16 | 2203 |
| UTF-32 | 00002203 |
1\documentclass{article}2\usepackage{pifont}3\exists 4\end{document}You can type the there exists symbol on most modern devices with the help of following methods:
Alt + 8707 on Windows (numeric keypad with Num Lock), or insert via Character Map.
Edit → Emoji & Symbols, search "there exists", or use Unicode Hex Input with 2203.
Ctrl + Shift + U, type 2203, then Enter (layout-dependent).
Paste from this page, use text replacement, or pick from the symbol keyboard.
Paste from this page or use a keyboard with math symbol support.
1span.there-exists::before { content: "\2203"; }1<span>∃</span>There Exists symbol's representation in different programming languages can be found in the table below:
| Language | Representation |
|---|---|
| JavaScript / TypeScript | '\u2203' or String.fromCodePoint(0x2203) |
| Python | '\N{THERE EXISTS}' or chr(8707) |
| Rust | '\u{2203}' |
| C / C++ | UTF-8 source or wchar_t with U+2203 |
| Go | string(rune(0x2203)) |
| Ruby | "\u2203" |