Notation manual