TEI XHTML conditional on LaTeXML success