You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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
The text was updated successfully, but these errors were encountered:
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
The text was updated successfully, but these errors were encountered: