Update NOTATION.md