Introduce TeX parser