inherit TeX input.