sticking to the LaTeXML ltx_ prefixed class names for the tokenization, for now