This alias allows you to modify the declaration of the specified notation, prompting for a notation name if none is supplied.

mn is a synonym for modify_notation.

Examples