added TeX doc