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 :- #1262

Closed
jachymb opened this issue Jul 8, 2021 · 3 comments
Closed

Ligature request :- #1262

jachymb opened this issue Jul 8, 2021 · 3 comments
Milestone

Comments

@jachymb
Copy link

jachymb commented Jul 8, 2021

The sequence :- is commonly used when writing Prolog code or other logic programming systems. The meaning there is roughly the reversed implication which in unicode could be something like ⇐ .

@tonsky
Copy link
Owner

tonsky commented Jul 8, 2021

Thanks! Will add to stylistic set

@tonsky tonsky added this to the 6 milestone Jul 8, 2021
@thaliaarchi
Copy link
Contributor

Wasn't this already added as cv26? #790

@tonsky
Copy link
Owner

tonsky commented Oct 27, 2021

Indeed, thank you!

@tonsky tonsky closed this as completed Oct 27, 2021
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

3 participants