andy morris

Oh right. Sorry. :sweat_smile: - The font's version is 2.010. - I'm using OS X 10.11.2. - It happens in (the bundled versions of) TextEdit (1.11; whence the screen shot),...

@pauldhunt Hooray! Mono fonts always seem to have ←/→ but never ⇐/⇒. (Haskell uses ⇒ with the `UnicodeSyntax` option as well, fwiw.) So a font that actually has them would...

If you wouldn't mind adding ∀ and ∃ too, that'd be even better. But at least a mono font with a non-ugly ⇒ would be great. (btw: Hasklig doesn't play...

The missing characters in the screenshot are: - ∈ (U+2208) - ∉ (U+2209) - ∋ (U+220B) - ∌ (U+220C) - ∛ (U+221B) - ≢ (U+2262) - ⊆ (U+2286) - ⊈...