Add two TeX books