adding \vardef in the LaTeX part. Needs to be implemented in LaTeXML.