Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Make "there exists" ∃ monospaced #973

Closed
atlv24 opened this issue Mar 13, 2020 · 2 comments
Closed

Make "there exists" ∃ monospaced #973

atlv24 opened this issue Mar 13, 2020 · 2 comments
Labels
Unicode
Milestone
3

Comments

@atlv24
Copy link

atlv24 commented Mar 13, 2020

The forall symbol has the correct spacing, but the exists symbol does not. Also they could both use a little love, they are useful in theorem proving languages with Unicode support.

∃ exists
∀ forall

Screen Shot 2020-03-13 at 12 19 37 AM

Thanks for this awesome font!
@tonsky tonsky added the Unicode label Mar 13, 2020
@tonsky tonsky added this to the 3 milestone Mar 13, 2020
@tonsky
Copy link
Owner

tonsky commented Mar 13, 2020

Thank, will add!

@tonsky
Copy link
Owner

tonsky commented Apr 5, 2020

Covered by #822

@tonsky tonsky closed this as completed Apr 5, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Unicode
Projects
None yet
Milestone
3
Development

No branches or pull requests
2 participants
@tonsky @atlv24