Restructured TeX files