Include some more unicode symbols sometimes used in coding

IdreesInc / Monocraft

A monospaced programming font inspired by the Minecraft typeface

https://idreesinc.com

SIL Open Font License 1.1

8.02k stars 115 forks source link

Include some more unicode symbols sometimes used in coding #49

Closed artemisSystem closed 1 year ago

artemisSystem commented 1 year ago

Purescript has support for the following unicode symbols as part of its syntax: ∀ ∷ → ← ⇒ ⇐ Would be cool to see them included. I would contribute them myself, but i couldn't figure out how to add glyphs in fontforge

IdreesInc commented 1 year ago

For the arrows, we already have ligatures for ->, =>, etc. Are these different from the ones you've suggested?

artemisSystem commented 1 year ago

Yes, i'm talking about actual different symbols, not ligatures

IdreesInc commented 1 year ago

Symbols have been added, will be released as part of v2.1 later tonight!