added tex documentation