Added notations