LaTeXML is a comprehensive LaTeX to XML converter written by Bruce Miller for the  DLMF project at NIST.