Add a notation.