Delete notation.tex