an experimental inclusion of a DefMathML post-processing rule inside a LaTeXML binding
 correcting the expected query result