Editing a Notation
To edit a notation:
Open the
«Notations»
folder in the tree.
Select a notation.
(This will show a property sheet at the right of the tree.)
Use the property sheet to change the properties of the notation.
See also:
The notation editor