Multimap
Part of Math Symbols
Multimap has no standard Windows Alt code. Copy the character directly, or use its HTML entity or Unicode value instead.
- Alt code
- None
- HTML entity
- ⊸
- Unicode
- U+22B8
About this symbol
⊸, called lollipop, is linear implication in linear logic, which Jean-Yves Girard introduced in 1987. In linear logic a fact is a resource that is used up when it is used, so A ⊸ B means that spending one A gives one B.
Unicode facts
- Official name
- MULTIMAP
- Type
- Maths symbol
- Unicode block
- Mathematical Operators
- Unicode group
- Relations
- Added in
- Unicode 1.1 (1993)
Click the symbol or any value at the top of the page to copy it. See the full Math Symbols chart for related characters.