latex pretty-printing merged