⊸
Math Operator 181
- Unicode
- U+22B8
- Category
- Math
- HTML Entity
- ⊸
- CSS
- \22B8
The ⊸ (multimap) symbol features a straight line with a small hollow circle on the left and an arrow pointing right. Affectionately known as the "lollipop" in linear logic, it represents linear implication, meaning a resource is consumed to produce a specific result. While rarely used outside of advanced mathematics and computer science, it occasionally pops up in text formatting for its unique, wand-like appearance.
How to Type
- Windows
- Type 22B8 then Alt+X
- macOS
- Control+Command+Space then search "multimap"
- Linux
- Ctrl+Shift+U then type 22b8 and press Enter
- HTML
- ⊸ or ⊸
In Programming
In functional programming and type theory, this symbol is used to denote linear types or functions that consume their arguments exactly once. It is commonly rendered in LaTeX mathematical documents using the \multimap command.
Tags
Haskell
LaTeX multimap
function
functional programming
linear implication
linear logic
linear type
lollipop
lollipop operator
mathematics
multimap
type theory
unicode math
⊸ symbol