dvisvgm is a command-line utility that converts DVI, EPS, and PDF files to the XML-based scalable...