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