Update notations.tex