update notation conversion.