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.

Sign up for GitHub

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

Jump to bottom

Ligature Request: /\ #488

Closed
ghivert opened this issue Sep 14, 2017 · 4 comments
Closed

Ligature Request: /\ #488

ghivert opened this issue Sep 14, 2017 · 4 comments
Labels
stylistic sets
Milestone
2

Comments

@ghivert
Copy link

ghivert commented Sep 14, 2017

Hi!

We have in PureScript the operator /\ as separator for tuples elements separator.
Would be good to have it in the font! :)

Thanks so much for such a beautiful font!
@MadcapJake
Copy link

AFAICT, the operator is actually apart of a PureScript package.

However, (the ancient) BCPL uses /\ for the logical-and operator and \/ for the logical-or operator (in a nod to first-order logic).

@tonsky
Copy link
Owner

tonsky commented Sep 15, 2017

There was already a suggestion about that, unfortunately, it’ll probably conflict a lot with escaped slash and regex definitions

@foreverbell
Copy link

This would be great for some automated theorem provers like Coq.

@tonsky tonsky added this to the 1.208 milestone Sep 2, 2019
@tonsky
Copy link
Owner

tonsky commented Sep 2, 2019

Dupe of #738

@tonsky tonsky closed this as completed Sep 2, 2019
@tonsky tonsky mentioned this issue Sep 17, 2019
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
stylistic sets
Projects
None yet
Milestone
2
Development

No branches or pull requests
4 participants
@tonsky @foreverbell @MadcapJake @ghivert