A Notation summary