Include some more unicode symbols sometimes used in coding

[artemisSystem]

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