Skip to content
GitLab

Make minus in <mn> produce U+2212 rather than U+002D. #989

Merged Davide P. Cervone requested to merge github/fork/dpvc/issue989 into develop

Make minus in <mn> produce U+2212 rather than U+002D. Resolve issue #989 (closed).

This also tweaks the NativeMML output; should we do that? Or make a configuration parameter to prevent that?