Added the tex documentation