A W3C Recommended XML language for writing down mathematical expressions. It has two sub-languages, one for presentation, one for content.
The MathML content language has been proposed as a posible syntax for RIF.
The RIF specs may want to use MathML
Impact on Design
For More Information
StanDevitt was a principal author of MathML.