add some notations