-
-
Notifications
You must be signed in to change notification settings - Fork 3.1k
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: \( and \) #536
Comments
I agree reading backslashed chars is hard, and the problem is worth solving. I have some constraints though:
What I’m thinking right now is maybe making it thinner, and ignore if backslash is followed by another backslash immediately. From what I’ve seen backslashes are pretty much exclusively escape characters, with the exception of windows paths. I’ll give it some more thought, thanks! |
This change doesn't look great for Coq/F*/etc, which use I'm not sure how to fix these. Ignoring Not sure what the solution is. |
Backslashes are used in basic regular expressions to denote special meaning. I think it would be much easier to read if the backslashed characters were ligatures.
Mockup using U+0952 or U+0332:
Ligatures to consider:
\(
\)
\+
\*
\{
\}
The text was updated successfully, but these errors were encountered: