Added notations.