Added tex docs