Simple TeX front-end program
