pydvi2svg converts DVI files (output from TeX) to SVG vector graphics - View it on GitHub