rewrote Notation section