pub fn has_markup_xmldoc(dom: &XmlDoc) -> bool
Checks a libxml document for ltx_theorem AMS markup
ltx_theorem