Provisonally added notations.tex to 01-allapot.