LatexFilter: pretty-printing the latex output