Символ ⊔ (Квадратная чаша): значение, код и использование

Символ ⊔ (Square Cup, Квадратная чаша или Квадратное объединение) — это математический оператор, который чаще всего обозначает дизъюнктное объединение множеств или копроизведение в теории категорий. В стандарте Юникод он занимает позицию U+2294 и относится к блоку «Математические операторы» (Mathematical Operators). Визуально это угловатая версия классического знака объединения ∪, напоминающая пустой открытый ящик.

Исторически математикам понадобился четкий способ отличать обычное объединение множеств от специфического — дизъюнктного. При обычном объединении одинаковые элементы сливаются. А вот дизъюнктное объединение работает иначе: элементы сохраняют свое первоначальное происхождение, словно их разложили по разным пакетам внутри одной коробки. Именно эту логику и символизирует ⊔. Он работает как строгий контейнер, в котором данные лежат рядышком, не смешиваясь друг с другом. Название «квадратная чаша» отлично передает его геометрическую форму.

В профессиональной среде символ ⊔ активно применяют в высшей математике, логике и информатике. Программисты, которые копаются в теории типов или функциональном программировании, используют его для обозначения сумм типов. Но за пределами академических текстов символ зажил своей собственной жизнью. Из-за забавной угловатой формы пользователи соцсетей превратили его в элемент текстовых эмодзи — каомодзи. Он может играть роль открытого рта у удивленного робота └[ ⊔ ]┘, символизировать пустую коробку или пиалу в текстовых артах. В Telegram и VK такие нестандартные символы обожают вставлять в никнеймы, чтобы сделать профиль более эстетичным и минималистичным.

Напечатать ⊔ на стандартной клавиатуре не получится, но есть несколько удобных обходных путей. Если ты верстаешь сайт, используй HTML-код ⊔ или мнемонику ⊔. Для тех, кто пишет курсовые и дипломы с формулами в LaTeX, существует шорткат \sqcup. Пользователи Windows могут зажать клавишу Alt и набрать +2294 на цифровом блоке (при условии, что в реестре включен шестнадцатеричный ввод). На Mac или смартфоне проще всего воспользоваться встроенной поисковой строкой по эмодзи и символам или просто скопировать ⊔ прямо отсюда.

У «квадратной чаши» есть целый набор родственников в Юникоде. Ее главный антагонист — перевернутый символ ⊓ (Square Cap, U+2293), который отвечает за пересечение. Также важно не путать ⊔ с классическим круглым объединением ∪ (Union, U+222A). Хоть они и кажутся похожими, в точных науках подмена одного на другое приведет к грубой ошибке. А для ситуаций, когда нужно масштабно объединить сразу множество элементов, Юникод припас гигантский вариант ⨆ (N-ary Square Union, U+2A06) — тот же ⊔, только более крупный и заметный в сложных многоэтажных формулах.