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

tonsky / FiraCode

Free monospaced font with programming ligatures

SIL Open Font License 1.1

76.69k stars 3.09k forks source link

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

Closed JakobBruenker closed 3 years ago

JakobBruenker commented 4 years ago

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 commented 4 years ago

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