adjustment to the new LaTeXML version that does not require the literal
prefix for tex code