add a notation to user manual

add a notation