TeX first version