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

[expr.unary.general] Misaligned grammar productions #4581

Closed
opensdh opened this issue Apr 9, 2021 · 4 comments · Fixed by #4583
Closed

[expr.unary.general] Misaligned grammar productions #4581

opensdh opened this issue Apr 9, 2021 · 4 comments · Fixed by #4583
Assignees

Comments

@opensdh
Copy link
Contributor

opensdh commented Apr 9, 2021

The grammar in [expr.unary.general] has ++, --, and perhaps * indented less than the other productions. Other uses of \terminal at the beginning of productions don't seem to be affected.

@jensmaurer
Copy link
Member

This is interesting. I haven't found an easy fix for this, unfortunately.

align

@jensmaurer jensmaurer changed the title Misaligned grammar productions [expr.unary.general] Misaligned grammar productions Apr 9, 2021
@opensdh
Copy link
Contributor Author

opensdh commented Apr 9, 2021

Maybe it needs the \microtypesetup{protrusion=false} from [expr.prim.fold]?

@jensmaurer
Copy link
Member

@opensdh, yes that fixed it. See the linked pull request.

@jensmaurer jensmaurer self-assigned this Apr 10, 2021
@tkoeppe
Copy link
Contributor

tkoeppe commented Apr 12, 2021

I feel like I disabled protrusion elsewhere before, but I must have missed this. Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants