change notation in README