Uh oh!
There was an error while loading.Please reload this page.
- Notifications
You must be signed in to change notification settings - Fork7.9k
Add more sizeable delimiters#26176
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 ourterms of service andprivacy statement. We’ll occasionally send you account related emails.
Already on GitHub?Sign in to your account
Uh oh!
There was an error while loading.Please reload this page.
Conversation
| @@ -1016,7 +1018,7 @@ | |||
| 'leftparen' : 40, | |||
| 'rightparen' : 41, | |||
| 'bigoplus' : 10753, | |||
| 'leftbrace' :124, | |||
| 'leftbrace' :123, | |||
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others.Learn more.
This used to be a vertical bar.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others.Learn more.
Not sure I understand the comment. Yes, it was wrong and is now correct?
Or are you saying that people have used\leftbrace to get a vertical bar? (Which I think was wrong until recently...)
Uh oh!
There was an error while loading.Please reload this page.
PR summary
Added support for
\lgroupand\rgroupwhich are standard LaTeX delimiters.The other symbols are already there, as seen in#26173, but now they can also be sized using
\leftand\right.\lbrace,\rbrace,\lbrack, and\rbrackare part of standard LaTeX. The others I have no idea about, but I noted that there is special handling for Bakoma for those.PR checklist