Create 18.01 summary.tex