Tiny TeX parser