Can we have the "multimap" or "linear implication" operator ⊸?

JetBrains / JetBrainsMono

JetBrains Mono – the free and open-source typeface for developers

https://jetbrains.com/mono

SIL Open Font License 1.1

10.57k stars 298 forks source link

Open ice1000 opened 7 months ago

ice1000 commented 7 months ago

This operator ⊸ has substantial usage in linear logic.

Unicode: U+22B8

ice1000 commented 7 months ago