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