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: ??? #434

Open
FlorianCassayre opened this issue May 3, 2021 · 4 comments
Open

Ligature request: ??? #434

FlorianCassayre opened this issue May 3, 2021 · 4 comments

Comments

@FlorianCassayre
Copy link

Scala defines the ??? symbol (triple question mark) as an alias for NotImplementedError (source). The font currently provides a ligature for ??, but none for ???.

@FlorianCassayre
Copy link
Author

I'm also noting the following (minor) discrepancies:

  • +: and :+ have no ligature, neither do ++: and :++
  • <:<: appears in an odd way because of the ligature on <: (source)

Don't hesitate to move these remarks to a separate ticket if you find the need to.

@philippnurullin philippnurullin added the unicode request Request for adding more symbols label May 31, 2021
philippnurullin added a commit that referenced this issue Jul 30, 2021
- Added `???` `<:<` ligatures #434
- Corrected the `⊈` (u+2288) #475
- Remove second unicode value from `HT` (u+2409 u+0009) `CR` (u+240D u+000D) `LF` (u+240A u+000A) #476
@philippnurullin
Copy link
Member

Corrected the <:< in latest push. It was broken in Italic in 2.242.
Are +: :+ ++: :++ operators? Why do they need to be ligatures?

@FlorianCassayre
Copy link
Author

Thanks for the fixes, means a lot!

Those are operators defined in the standard Scala library (prepending/appending of a single element / sequence of elements; source). A ligature for them might be overkill, but I was pointing out the fact that ++: and :++ both had a ligature on ++ which makes them appear detached from the colon :.

@philippnurullin
Copy link
Member

Ok, I'll think about it.
Right now I see two ways. Break the ++ ligature if : is around, or add the ++: & :++ as ligatures.

@philippnurullin philippnurullin added ligature request and removed unicode request Request for adding more symbols labels Feb 6, 2023
philippnurullin added a commit that referenced this issue Feb 9, 2023
- Added `IJ` `ij` #578
- Added ligature breaking in `++:` `:++` #434
- Added exclusion in `<>>` sequence #565
- Fixed typo in ss20 name
- Switched source files to Glyphs 3
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