Adding tex documentation