modify the notation