Content Dictionaries
Definition of each symbol can include:
- informal descriptions
- formal mathematical properties
- examples of use
Associated information can include:
- default presentation information
- associated type information
- other mathematical properties