Added notations.tex