Can we have the "multimap" or "linear implication" operator ⊸?
ice1000 opened this issue · comments
This operator ⊸ has substantial usage in linear logic.
Unicode: U+22B8
JetBrains / JetBrainsMono
JetBrains Mono – the free and open-source typeface for developers