Finished TeX processor section