Negative sign in <mn> doesn't use the math minus sign
The HTML-CSS and SVG output display <mn>-1</mn>
using the dash U+002D rather than the minus sign U+2212. It would be nice to convert that to the correct character.
Firefox's native MathML rendering also uses U+002D for <mn>-1</mn>
. Should we tweak that as well?