Possible problem with reversed LaTeX definitions

I found that \upharpoonleft and \upharpoondown are reversed from their definitions for LaTeX, mathlatex, IEEE, and the unicode-math-table.tex.
The script used to build Julia’s LaTeX symbol table gave priority to the AMS definitions, which are backwards from the rest.
Should a PR be created to change latex_symbols.jl to use the definitions used most everywhere?

1 Like

Yepp, they seem reversed. Checked my Julia versus my Latex output. A PR sounds quite reasonable.
(and yes, at least I do care about LaTeX completion strings ;-). They are one of the most practical innovations ever to write mathematical code.)