[< Xml.xml_cdata "<?xml version=\"1.0\" encoding=\"ISO-8859-1\"?>\n" ;
Xml.xml_cdata "\n";
Xml.xml_nempty ~prefix "math"
[Some "xmlns","m","http://www.w3.org/1998/Math/MathML" ;
Some "xmlns","helm","http://www.cs.unibo.it/helm" ;
Some "xmlns","xlink","http://www.w3.org/1999/xlink"
[< Xml.xml_cdata "<?xml version=\"1.0\" encoding=\"ISO-8859-1\"?>\n" ;
Xml.xml_cdata "\n";
Xml.xml_nempty ~prefix "math"
[Some "xmlns","m","http://www.w3.org/1998/Math/MathML" ;
Some "xmlns","helm","http://www.cs.unibo.it/helm" ;
Some "xmlns","xlink","http://www.w3.org/1999/xlink"