-
Notifications
You must be signed in to change notification settings - Fork 761
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
[lex.header] Modernize text around header names #7336
Conversation
2712ba4
to
b272f17
Compare
b272f17
to
78681d6
Compare
Flagging that I believe I have addressed the changes requested by Jens. |
Editorial meeting discussion in Wroclaw 2024: There does not seem to be a simple, context-free rule for how to spell characters (such as "always use the unicode named reference"). There cases where we definitely want the named reference, such as in the lexer grammar. There are also cases where the literal character is most appropriate, such as in "the unary & operator". In the present proposed change, having Therefore, we don't want any kind of context-free blanket replacement of characters with named unicode references, or vice versa. It is possible that we can identify a more nuanced rule when to apply. |
The footnote better belongs in the main text as a regular note. To make the notes flow consistently, switch the order of the note and normative text in the first paragraph to lead with the normative text.
78681d6
to
a2c5008
Compare
Removed the last part of the Unicode markup changes from the original commit message: |
The footnote better belongs in the main text as a regular note.
To make the notes flow consistently, switch the order of the
note and normative text in the first paragraph to lead with the
normative text.