Use of semantics
in formulas

• for device-independent output presentation:
  • extract content from database, enrich for personalization, apply XSL, ...
  • we have currently: HTML, LaTeX and MathML presentation
• for enhanced content display:
  • name of symbols can be seen
  • link to their definitions
• for machine processing:
  • re-use in exercise with mathematical systems
  • drag-and-drop from content to exercise