Notation

add some notations, and delete some unused notations
Revert "Notation"

This reverts commit 33b022352f49205fbe20c12449996659346f6f01.