Add notations