Tex version of the notes