change notation