updated LaTeXMLRenderer to use getter and setter