⊸
Математический оператор 181
- Unicode
- U+22B8
- Категория
- Математика
- HTML Entity
- ⊸
- CSS
- \22B8
Символ ⊸ (мультиотображение) — это математический оператор, который чаще всего используется для обозначения линейной импликации. В линейной логике его забавно прозвали «леденцом» (lollipop) из-за характерного кружочка на конце. В обычных чатах он почти не встречается, зато математикам и логикам без него не обойтись при описании потребления ресурсов в формулах.
Как набрать
- Windows
- Alt+8888
- macOS
- Control+Command+Space, затем поиск «multimap»
- Linux
- Ctrl+Shift+U 22B8
- HTML
- ⊸
В программировании
В основном применяется при верстке академических и математических текстов в LaTeX с помощью команды \multimap. Обозначает многозначные функции или логические операции, где ресурсы расходуются строго один раз.
Теги
lollipop математика
multimap
unicode 22B8
знак логики
леденец символ
линейная импликация
линейная логика
математика
математический символ
мультиотображение
скопировать символ
функция