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

consider removing =< ligature #17

Open
jab opened this issue Jan 6, 2020 · 0 comments
Open

consider removing =< ligature #17

jab opened this issue Jan 6, 2020 · 0 comments

Comments

@jab
Copy link

jab commented Jan 6, 2020

=< currently displays with the glyph. I would expect this for <=, but for =< I would prefer this to display as the two separate glyphs =< with no ligature. I suspect many other Python programmers feel the same way, since the characters =< frequently appear in __repr__ strings that have nothing to do with <= comparison, e.g.:

>>> from collections import namedtuple
>>> Foo = namedtuple('Foo', 'bar')
>>> Foo(bar=object())
Foo(bar=<object object at 0x1071b7ef0>)

The current behavior results in Foo(bar≤object object at 0x107...>) being shown, which is actually misleading.

I'm guessing Python isn't the only context where the =< substring means something very different from <=.

Would you consider removing the =< → ≤ ligature?

Thanks for your consideration and for sharing this wonderful font! <333

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant