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)
<- ->