Renaming a Notation

To rename a notation:

  1. Select a notation in the «Notations» folder of the tree.
  2. Click into the name of the notation to make it editable.
  3. Type the new name.
  4. Press the «Enter» key to finish editing.

See also: