added notations