latex export works