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

Add support for ∎ (U+220E END OF PROOF) #1115

Closed
JakobBruenker opened this issue Sep 3, 2020 · 1 comment
Closed

Add support for ∎ (U+220E END OF PROOF) #1115

JakobBruenker opened this issue Sep 3, 2020 · 1 comment
Labels
Unicode
Milestone
6

Comments

@JakobBruenker
Copy link

This would fit right in with other mathematical characters like ∴ (U+2234 THEREFORE) and is in certain contexts used in some proof assistants like agda to indicate the end of a proof, see for example this answer to a stackoverflow question.
@tonsky tonsky added this to the 6 milestone Sep 10, 2020
@tonsky tonsky added the Unicode label Sep 10, 2020
@tonsky
Copy link
Owner

tonsky commented Sep 10, 2020

Yes, if it is actually used, I am happy to add it

@tonsky tonsky closed this as completed in d6ffaa4 Oct 11, 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
6
Development

No branches or pull requests
2 participants
@tonsky @JakobBruenker