Символ ∃ (Существует): Значение, история и как его напечатать
Символ ∃ в математике и логике означает квантор существования и читается как «существует» или «найдётся». Это перевёрнутая по горизонтали заглавная латинская буква E, которая используется для записи утверждений о том, что в определённом множестве есть хотя бы один элемент, удовлетворяющий заданному условию.
Откуда взялся этот знак? Его придумал итальянский математик Джузеппе Пеано в 1897 году. Он просто взял букву E от английского слова «exists» (существует) и отзеркалил её. Позже идею подхватили Бертран Рассел и Альфред Норт Уайтхед в своём монументальном труде Principia Mathematica, после чего перевёрнутая «Е» стала мировым стандартом в математической логике.
В стандарте Юникод символ ∃ прописан довольно давно. Его официальное английское название — THERE EXISTS. Он имеет шестнадцатеричный код U+2203 и комфортно располагается в блоке «Математические операторы» (Mathematical Operators).
В обычной жизни ты вряд ли встретишь ∃ в переписке с друзьями, если только они не студенты технического вуза, судорожно готовящиеся к сессии. В основном этот символ живёт в университетских конспектах, научных статьях, программировании (в контексте формальной логики и баз данных) и специализированной типографике. В соцсетях вроде Telegram или VK его иногда используют ради шутки или эстетики, когда нужно придать посту псевдонаучный вид, собрать сложный текстовый эмодзи или сымитировать инопланетный язык. Некоторые гики вставляют ∃ в никнеймы, чтобы подчеркнуть свою принадлежность к IT-тусовке или просто выделиться из толпы.
Как напечатать ∃ на разных устройствах? Если у тебя Mac, проще всего вызвать панель «Эмодзи и символы» (Control + Command + Пробел) и найти его в разделе математических знаков. В Windows можно зажать клавишу Alt и набрать 8707 на цифровой клавиатуре (NumPad), а в Microsoft Word — напечатать 2203 и нажать Alt + X. В HTML-коде используй сущность ∃ или ∃. Если ты пишешь формулы в LaTeX, тебе поможет команда \exists. На смартфонах проще всего скопировать символ из браузера или настроить автозамену в системной клавиатуре, чтобы телефон сам превращал слово «существует» в ∃.
У квантора существования есть близкие родственники. Самый известный — символ ∀ (квантор всеобщности), который читается как «для любого» или «для всех» и выглядит как перевёрнутая буква A (от слова «all»). А если тебе нужно сказать, что чего-то в природе нет, используй ∄ (U+2204) — тот же квантор существования, но перечёркнутый (читается как «не существует»). Вместе эти знаки образуют изящную базу, на которой строится вся современная формальная логика.