Firacode: Ligature Request: /\

Created on 14 Sep 2017  路  4Comments  路  Source: tonsky/FiraCode

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!

stylistic sets
Source
picture ghivert

Most helpful comment

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

picture foreverbell on 31 Oct 2017
👍3

All 4 comments

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).

MadcapJake picture MadcapJake on 15 Sep 2017
👍2

There was already a suggestion about that, unfortunately, it鈥檒l probably conflict a lot with escaped slash and regex definitions

tonsky picture tonsky on 15 Sep 2017
👍3

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

foreverbell picture foreverbell on 31 Oct 2017
👍3

Dupe of #738

tonsky picture tonsky on 2 Sep 2019
Was this page helpful?
0 / 5 - 0 ratings

Related issues

blucell picture blucell  路  4Comments
mlajtos picture mlajtos  路  4Comments
pamu picture pamu  路  3Comments
alis0nc picture alis0nc  路  3Comments
Gang-Yang picture Gang-Yang  路  3Comments