Rename: NotationDecl
New Name
Rename
Cancel