Revert "Revert "TeX1""

This reverts commit 79c4553c44b4f4553365045a29c1548c8b3dfebf.