The use of content rather than presentation tagging for mathematics is sometimes referred to as <<"semantic tagging>>. The parse-tree of a content tagged element structure corresponds directly to the expression-tree of the underlying mathematical expression. This is, in general, sufficient for some rendering and even some symbolic manipulation (eg. polynomial factorization).
However, even in such simple expressions as X + Y, additional information may be required for applications such as computer algebra. Are X and Y integers, or functions ? 'Plus' represents addition over which field ? This additional information is referred to as semantic mapping.
Contact Robin Cover with corrections and updates, or to submit contributions to the ISUG online document database.
