function
Mi (attr,s) -> X.xml_nempty ~prefix "mi" attr (X.xml_cdata s)
| Mn (attr,s) -> X.xml_nempty ~prefix "mn" attr (X.xml_cdata s)
- | Mo (attr,s) -> X.xml_nempty ~prefix "mo" attr (X.xml_cdata s)
+ | Mo (attr,s) ->
+ let s =
+ let len = String.length s in
+ if len > 1 && s.[0] = '\\'
+ then String.sub s 1 (len - 1)
+ else s
+ in
+ X.xml_nempty ~prefix "mo" attr (X.xml_cdata s)
| Mtext (attr,s) -> X.xml_nempty ~prefix "mtext" attr (X.xml_cdata s)
| Mspace attr -> X.xml_empty ~prefix "mspace" attr
| Ms (attr,s) -> X.xml_nempty ~prefix "ms" attr (X.xml_cdata s)