rename_notation [oldname] [newname]

The rename_notation alias renames the notation oldname to newname, prompting for input if necessary. This works only for notations declared in the private markup section of the document instance.

rn is a synonym for rename_notation.

Examples