mmlproc - The math markup language processor library.

mmlproc undertakes the transformation of Content-MathML and OpenMath expressions into PresentationMathML.

• The reorganization of a given notation context, i.e. the list of collected notation definitions returned by the collector.
• A patter matcher, which takes as input the reorganized notation context and a mathematical object and returns a list of elements of the form (context annotation : rendering).
• A renderer which transforms the mathematical object into PresentationMathML. It takes as input the return value of the pattern matcher and calls the rndgrab libray to select the most appropriate rendering from the list.