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

Ligature request: add <-- to be the same as --> #417

Closed
exorcist365 opened this issue Mar 3, 2021 · 2 comments
Closed

Ligature request: add <-- to be the same as --> #417

exorcist365 opened this issue Mar 3, 2021 · 2 comments
Labels
bug Something isn't working

Comments

@exorcist365
Copy link
Contributor

exorcist365 commented Mar 3, 2021

This can be very useful in languages where you can define custom operators.

For example haskell where this already exists

Current look:
image

@trygveaa
Copy link

@philippnurullin: This is a regression. The ligature was working in v2.210, but stopped working in v2.220 and newer.

@philippnurullin
Copy link
Member

@trygveaa Yes it is. Will be fixed with the net update.

@philippnurullin philippnurullin added the bug Something isn't working label Apr 8, 2021
philippnurullin added a commit that referenced this issue Apr 21, 2021
- Made triple equal ligature === more spacious #25
- Added 70 symbols from #47
- Tuned # #275
- Added =: ligature #305
- Added floor and ceiling mathematical characters #328
- Corrections in Θ θ ξ Σ ∑ #351
- Added Cyrillic Kazakh letters #391
- Added ligature ;;; #393
- The ligature <- have 3 digit exclusion #403
- Fixed regression with <-- ligature #417
- Fixed interpolation error in Italic #431
- Corrected placement of * in */ ligature in Regular master
- Tuned Ч ч
- Rounded corners in ⚠
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

No branches or pull requests

3 participants