∃
Существует
- Unicode
- U+2203
- Категория
- Математика
- HTML Entity
- ∃
- CSS
- \2203
Символ ∃ — это квантор существования в математической логике, который читается как «существует» или «найдётся». Он был придуман в конце XIX века на основе перевёрнутой английской буквы E (от слова exists). Сегодня его используют не только в суровых формулах вышмата, но и в ироничных постах или текстовых мемах, когда нужно подчеркнуть уникальность или внезапное наличие чего-либо.
Как набрать
- Windows
- 2203, затем Alt+X (в Word) или Win+. и поиск
- macOS
- Control+Command+Space и поиск
- Linux
- Ctrl+Shift+U 2203
- HTML
- ∃ или ∃
В программировании
В computer science и технической документации символ применяется для описания логических условий, алгоритмов и предикатов. В LaTeX для его вывода используется макрос \exists.
Теги
U+2203
exists
Пеано
квантор
квантор существования
логика
математика
математическая логика
найдётся
наличие
перевёрнутая E
существует элемент
формальная логика
формула