more coverage for LaTeXML symbols