Definition of Notation