Update intro.latex