pydvi2svg converts DVI files (output from TeX) to SVG vector graphics