.TEX version of the .TXT file