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

left and right swapped in unicode abbreviations #31194

Closed
snoeyink opened this issue Feb 28, 2019 · 0 comments
Closed

left and right swapped in unicode abbreviations #31194

snoeyink opened this issue Feb 28, 2019 · 0 comments
Labels
domain:unicode Related to unicode characters and encodings

Comments

@snoeyink
Copy link

Left and right are swapped in at least two of the unicode input abbreviations in the documentation (https://docs.julialang.org/en/v1/manual/unicode-input/index.html) and code.

Specifically these two definitely have their abbreviations swapped:
U+021BE | ↾ | \upharpoonleft | Upwards Harpoon With Barb Rightwards / Up Harpoon With Barb Right
U+021BF | ↿ | \upharpoonright | Upwards Harpoon With Barb Leftwards / Up Harpoon With Barb Left

--- for comparison, these are correct:
U+021C2 | ⇂ | \downharpoonright | Downwards Harpoon With Barb Rightwards / Down Harpoon With Barb Right
U+021C3 | ⇃ | \downharpoonleft | Downwards Harpoon With Barb Leftwards / Down Harpoon With Barb Left

I claim these would be better named, e.g., \ccwcirclearrow and \cwcircle arrow.
For the non-scientist, most other arrows are named left/right for the side the arrowhead is on, and for the scientist, the first indicates a right-hand rule. Naming by the rotation direction would be more consistent with the unicode.
U+021BA | ↺ | \circlearrowleft | Anticlockwise Open Circle Arrow
U+021BB | ↻ | \circlearrowright | Clockwise Open Circle Arrow

U+021B6 | ↶ | \curvearrowleft | Anticlockwise Top Semicircle Arrow
U+021B7 | ↷ | \curvearrowright | Clockwise Top Semicircle Arrow

@JeffBezanson JeffBezanson added the domain:unicode Related to unicode characters and encodings label Mar 1, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
domain:unicode Related to unicode characters and encodings
Projects
None yet
Development

No branches or pull requests

2 participants