Generate intermediate TeX (just for fun)