update notation