Closed fred-wang closed 9 years ago
After #5 unicode.xml is patched: http://lists.w3.org/Archives/Public/www-math/2013Dec/0001.html
The patch is a quick workaround and I'm not sure it's very good. Hopefully @davidcarlisle will update unicode.xml soon.
So this is almost fixed... Just waiting that @davidcarlisle integrates the remaining change:
https://github.com/fred-wang/TeXZilla/blob/master/unicode.patch
After #5 unicode.xml is patched: http://lists.w3.org/Archives/Public/www-math/2013Dec/0001.html
The patch is a quick workaround and I'm not sure it's very good. Hopefully @davidcarlisle will update unicode.xml soon.