added tex source of the documentation