Restoring tex contents