NOTATIONS

Definition of NOTATIONS