Exporting to TeX improved.