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

Weird special characters #205

Closed
StephanTLavavej opened this issue Sep 30, 2013 · 7 comments
Closed

Weird special characters #205

StephanTLavavej opened this issue Sep 30, 2013 · 7 comments

Comments

@StephanTLavavej
Copy link
Contributor

N3690 2.3 [lex.charset]/1 has a good caret but a bad tilde. The offending LaTeX is:
_ { } [ ] # ( ) < > % : ; . ? * + - / ^ & | @$\sim$@ ! = , @\textbackslash@ " '
so all occurrences of @$\sim$@ should be inspected.

2.13 [lex.operators] has a bad caret but a good tilde. The offending LaTeX is:

+ >- >* >/ >% >^{} >& >| >\tilde\br
PDF search indicates that there are 25 occurrences of this.

20.10.7 [bitwise.operations]/5 has a bad tilde. The offending LaTeX is:
\tcode{operator()} returns \tcode{~{}x}.
This appears elsewhere (e.g. /9).

@jensmaurer
Copy link
Member

This seems to be fixed.

@StephanTLavavej
Copy link
Contributor Author

I confirm that [lex.charset] and [bitwise.operations] are fixed.

However, [lex.operators] is unfixed. The ^ and ^= have weird carets. By weird/bad, I meant "doesn't copy into a plain text editor normally" (at least on Windows). Please consider reactivating this.

@tkoeppe
Copy link
Contributor

tkoeppe commented Nov 13, 2016

I think you need to replace

\^

with

\char`\^

However, since this appears in a few more places than the one listing mentioned here, we should probably create a macro for this and apply that consistently.

@jwakely
Copy link
Member

jwakely commented Nov 13, 2016

FWIW the "bad" one is U+02C6 rather than U+005E

@tkoeppe
Copy link
Contributor

tkoeppe commented Nov 14, 2016

Let's reopen this for now so we don't forget. Patches welcome.

@tkoeppe tkoeppe reopened this Nov 14, 2016
jensmaurer added a commit to jensmaurer/draft that referenced this issue Nov 16, 2016
jensmaurer added a commit to jensmaurer/draft that referenced this issue Nov 16, 2016
jensmaurer added a commit to jensmaurer/draft that referenced this issue Nov 16, 2016
jensmaurer added a commit to jensmaurer/draft that referenced this issue Nov 17, 2016
@StephanTLavavej
Copy link
Contributor Author

Thank you! As someone whose job is copy-pasting from the Standard, I really appreciate this fix.

@tkoeppe
Copy link
Contributor

tkoeppe commented Nov 17, 2016

No problem, thanks for calling out the problem! And thanks to Jens for implementing the solution!

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

No branches or pull requests

4 participants