Improved native TeX export