Notations added