Символ ∃ квантор существования
∃ - квантор существования: зеркальная буква E. Запись ∃x читают «существует x» или «найдётся x».
- Код
- U+2203
- В HTML
- ∃
- Раздел
- Множества и логика
- Ещё называют
- существует, найдётся, квантор существования, there exists
Что означает «∃»
Квантор утверждает, что подходящее значение есть хотя бы одно: ∃x ∈ ℝ: x² = 2. Сколько их и какие именно, запись не говорит.
∃! - «существует единственный»: ∃! x ∈ ℝ: 2x = 6. Восклицательный знак ставят сразу после квантора; в этом примере единственное подходящее число - 3.
Русская Э похожа на ∃, но это буква с другим кодом Unicode. Замена может изменить обработку формулы и результаты поиска; для квантора используйте сам знак ∃.
- Логика. Утверждения «найдётся такое x».
- Доказательства. Существование корня или предела.
- Конспекты. ∃! - есть ровно одно.
Как «∃» выглядит в тексте
- ∃x ∈ ℝ: x² = 2 Найдётся число, квадрат которого равен 2
- ∃! x ∈ ℝ: 2x = 6 Среди действительных чисел решение одно: x = 3
- ∄x ∈ ℝ: x² = −1 Действительного корня нет
Как писать «∃» правильно
- Для единственности - ∃! без пробела.
- Для «не существует» есть готовый знак ∄.
- Порядок ∃ и ∀ не меняйте при переписывании.
- Набирать вместо ∃ русскую Э.
- Читать ∃x как «существует ровно один x»: для этого нужен ∃!.
«∃» и похожие знаки
| Знак | Чем отличается |
|---|---|
| ∀ Для любого | Квантор всеобщности: «для любого». |
| Э Буква Э | Кириллица: дуга вместо прямых линий. |
| ∄ Не существует | Перечёркнутый ∃. |
Как поставить «∃» на клавиатуре
Своей клавиши у ∃ нет. В Word для Windows наберите 2203 и нажмите Alt + X; в формулах Word и в LaTeX - \exists.
Быстрее всего нажать «Копировать» выше и вставить знак: Ctrl + V, а на Mac - Command + V. Если знак нужен часто, его удобнее набирать самому.
| Windows 10 и 11 | Win + ., затем раздел символов Ω: знаки разложены по темам |
|---|---|
| macOS | Control + Command + Пробел, затем найдите знак в панели символов |
| Microsoft Word | 2203, затем Alt + X |
| Linux с GNOME | Ctrl + Shift + U, затем 2203 и Enter |
Коды «∃» для HTML и программ
Эти записи вставляют в код страницы или программы, если сам знак набрать неудобно. Именованной мнемоники у этого знака нет. В HTML можно написать сам знак или его числовой код.
| Unicode | U+2203 | |
|---|---|---|
| HTML, десятичный | ∃ | |
| HTML, шестнадцатеричный | ∃ | |
| CSS, внутри строки content | \2203 | |
| JavaScript, JSON, Java, C# | \u2203 | |
| Python | \u2203 | |
| UTF-8, байты | E2 88 83 | |
| В адресе страницы | %E2%88%83 |
Вопросы о символе «∃»
Как читается ∃?
«Существует» или «найдётся». ∃x: P(x) - «найдётся x, для которого верно P».
Что значит ∃!?
Существует ровно один элемент с нужным свойством.
Как набрать ∃ в Word?
В Word для Windows: 2203, затем Alt + X.