Semantic Encoding

• Goal for an author: write what you mean
• (i.e. not what you want to see here !)

Requirements for such a syntax choice

• standard declaration of symbols (extensibility)
• separation from content and presentation
• organization of content-units in a logical way
• possibility of "explanations" on formulas in presented content
• convertibility to multiple targets:
  • To several presentation forms (e.g. LaTeX, HTML)
  • To applications' languages (e.g. Maple, MuPad and more specialized ones)