Tools for TeXifying matplotlib.