Working With Notations
Basic tasks:
Creating a new notation
Renaming a notation
Editing a notation
Deleting a notation
Advanced tasks:
Writing annotations about a notation
Changing the default notation
See also:
The notation editor