Символ ⊐: Значение, история и использование квадратного надмножества
Символ ⊐ (U+2290) — это математический оператор, официально известный как «Квадратный знак "оригинал для"» (Square Original Of) или квадратное надмножество. В теории множеств, логике и информатике он обозначает специфические отношения между элементами, работая как строгий угловатый брат-близнец классического знака надмножества (⊃). Внешне символ напоминает открытую квадратную скобку или скобу, повернутую влево.
Математики и логики любят точность, поэтому круглых знаков включения им однажды не хватило. Квадратные вариации (включая ⊐ и его противоположность ⊏) появились в научной литературе, чтобы разграничить разные типы отношений. Например, в информатике и дискретной математике ⊐ часто используют для описания порядка информации (information ordering) или отношений в топологических пространствах. Если обычное ⊃ означает простое включение одного множества в другое, то ⊐ указывает на более сложную структурную иерархию.
В таблице Unicode символ живет в блоке «Математические операторы» (Mathematical Operators). Его шестнадцатеричная кодовая позиция — U+2290. Так как это стандартный текстовый символ, а не цветной эмодзи, он отображается черно-белым монохромным глифом на всех платформах и устройствах.
В повседневной жизни шанс встретить ⊐ стремится к нулю. Вряд ли ты отправляешь его друзьям в Telegram, чтобы описать свои чувства. Зато в соцсетях этот значок иногда используют креативщики для создания текстовых артов (каомодзи) — он отлично подходит на роль квадратного носа, открытого рта робота или футуристичной детали в оформлении профиля. В программировании он встречается в специализированных языках, таких как APL, или в системах формальной верификации кода.
Ввести ⊐ с обычной клавиатуры напрямую не выйдет. На ОС Windows можно использовать комбинацию Alt + 8848 (на цифровом блоке Numpad). На Mac выручит ввод шестнадцатеричного кода: переключись на раскладку Unicode Hex Input, зажми Option и введи 2290. В HTML символ можно вставить через код ⊐ или ⊒. Но будем честны — проще всего найти его в интернете и просто скопировать.
У этого оператора есть несколько ближайших родственников. Знак ⊏ (U+228F, Square Image Of) — это его зеркальное отражение, обозначающее подмножество. Классический символ ⊃ (U+2283) несет похожий математический смысл, но выглядит мягче за счет округлой формы. А если тебе просто нужен символ, похожий на ⊐ для красивого никнейма, обрати внимание на знак японской азбуки катаканы コ — он выглядит почти так же, но поддерживается шрифтами гораздо лучше.