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.

Sign up for GitHub

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

Jump to bottom

Normalize "ℏ" (U+210F) to “ħ” (U+0127) #48870

Closed
topolarity opened this issue Mar 2, 2023 · 0 comments · Fixed by #49559
Closed

Normalize "ℏ" (U+210F) to “ħ” (U+0127) #48870

topolarity opened this issue Mar 2, 2023 · 0 comments · Fixed by #49559
Labels
minor change Marginal behavior change acceptable for a minor release parser Language parsing and surface syntax unicode Related to unicode characters and encodings

Comments

@topolarity
Copy link
Member

From triage on #48540:

we don't like the rendering of the unicode x0210F symbol (ℏ), and x0210F normalizes to x00127 (ħ) in the unicode NFKC standard so we should keep \hbar => ħ (don't merge).

We use NFC + some custom normalization; we should add ℏ => ħ to our custom normalization table.
@JeffBezanson JeffBezanson added parser Language parsing and surface syntax unicode Related to unicode characters and encodings minor change Marginal behavior change acceptable for a minor release labels Mar 2, 2023
@sostock sostock mentioned this issue Mar 3, 2023
Open
JeffBezanson added a commit that referenced this issue Apr 28, 2023
@JeffBezanson
fix #48870, normalize U+210F to U+0127
164969f
@JeffBezanson JeffBezanson mentioned this issue Apr 28, 2023
Merged
JeffBezanson added a commit that referenced this issue May 2, 2023
@JeffBezanson
fix #48870, normalize U+210F to U+0127 (#49559)
e9d678e
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
minor change Marginal behavior change acceptable for a minor release parser Language parsing and surface syntax unicode Related to unicode characters and encodings
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

fix #48870, normalize U+210F to U+0127 JuliaLang/julia
2 participants
@JeffBezanson @topolarity