Add some notations