Skip to content

Requesting the inclusion of two Unicode symbols: ∀ and ∷ #1219

Description

@kurtmilam

Great font! I really enjoy using it in VSCode. The only issue I have with the font at this time is that the and symbols don't seem to be included. I believe that's the case because, when using dark mode in VSCode, the following code:

runMem ∷ ∀ a s. Mem s a → s → Tuple a s

Looks like this with Fira Code enabled:

image

I've read that VSCode (among other applications) has issues correctly styling (including applying colors) symbols that aren't included in the active font. If I switch from Fira to Menlo, for instance, I see the following:

image

As you can see, in Menlo, the symbols are nicely styled with enough contrast to be easily visible.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    Projects

    No projects

      Milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions