.txt -> .tex