update notation and add table