Started work on direct TeX export