update notation in 229.5