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

[dcl.attr.grammar] Braces of _balanced-token_ are unaligned #6239

Closed
JohelEGP opened this issue Apr 28, 2023 · 4 comments · Fixed by #6241
Closed

[dcl.attr.grammar] Braces of _balanced-token_ are unaligned #6239

JohelEGP opened this issue Apr 28, 2023 · 4 comments · Fixed by #6241

Comments

@JohelEGP
Copy link
Contributor

1682699200

Could this happen because the braces are escaped in the source?

\nontermdef{balanced-token}\br
    \terminal{(} \opt{balanced-token-seq} \terminal{)}\br
    \terminal{[} \opt{balanced-token-seq} \terminal{]}\br
    \terminal{\{} \opt{balanced-token-seq} \terminal{\}}\br
    \textnormal{any \grammarterm{token} other than a parenthesis, a bracket, or a brace}
@jensmaurer
Copy link
Member

jensmaurer commented Apr 28, 2023

Hm... Interesting. Maybe "\{" expands to something that kills the alignment.

@tkoeppe
Copy link
Contributor

tkoeppe commented Apr 30, 2023

Very odd, I can't figure out what's going on, either. @godbyk, might you have an idea?

@tkoeppe
Copy link
Contributor

tkoeppe commented Apr 30, 2023

Ah, got it, microtype is causing this.

@tkoeppe
Copy link
Contributor

tkoeppe commented Apr 30, 2023

E.g. see

draft/source/lex.tex

Lines 1034 to 1035 in f52423c

%% Ed. note: character protrusion would misalign various operators.
\microtypesetup{protrusion=false}\obeyspaces

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