Adding some notations