Mathematical Formulae

• Semantic mathematical objects
  • are essentially parse trees
  • based on a set of symbols (common set,...)
  • get presented through an (extensible) transformation
    • Extension needs to be authored