I open this bug just to add new commands to layout/mathml/updateOperatorDictionary.pl "./updateOperatorDictionary.pl download" will download the file unicode.xml from "XML Entity Definitions for Characters" and convert it to the simple dictionary.xml file. "./updateOperatorDictionary.pl clean" will allow to clean up temporary files. To do the XSLT conversion, I've used the XML::LibXSLT module which seems much more efficient than XML::XSLT. So I've also replaced XML::DOM by XML::LibXML.
Created attachment 629366 [details] [diff] [review] Patch V1