don't modify core LaTeXML classes