add notation

add notation