Change notation.