Add intro.tex