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.

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

Glyph request: ∆ 'INCREMENT' (U+2206) #174

Closed
jdelkins opened this issue Apr 15, 2016 · 4 comments
Closed

Glyph request: ∆ 'INCREMENT' (U+2206) #174

jdelkins opened this issue Apr 15, 2016 · 4 comments

Comments

@jdelkins
Copy link

This is a pretty common symbol which I find many mono fonts support. fileformat.info link.

@tonsky
Copy link
Owner

tonsky commented Apr 16, 2016

Shouldn’t be a problem. How is it different from capital delta? http://www.fileformat.info/info/unicode/char/0394/index.htm

@jdelkins
Copy link
Author

For some fonts, the glyph is slightly different at high point sizes, but they are essentially the same. I don't care about any distinction: for my purposes, I'd be happy to have the U+2206 code point linked to the U+0394 glyph (or copy/paste, whatever works). Thanks!

@tonsky
Copy link
Owner

tonsky commented Apr 16, 2016

I'm wondering, if I want to make them more distinguishable, what should I
emphasise?

On Sat, Apr 16, 2016, 21:52 Joel Elkins [email protected] wrote:

For some fonts, the glyph is slightly different at high point sizes, but
they are essentially the same. I don't care about any distinction: for my
purposes, I'd be happy to have the U+2206 code point linked to the U+0394
glyph (or copy/paste, whatever works). Thanks!


You are receiving this because you commented.

Reply to this email directly or view it on GitHub
#174 (comment)

@jdelkins
Copy link
Author

The top-to-bottom-right leg is slightly bolder in U+2206

@tonsky tonsky closed this as completed in c572475 Nov 5, 2016
Losangelosgenetics pushed a commit to Losangelosgenetics/FiraCode that referenced this issue Mar 12, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants