Changing text file to .tex