a working latex export