The last few years have seen the emergence of various content-oriented XML-based, content-oriented markup languages for mathematics on the web, e.g. OpenMath, Content MathML, or OMDoc. These representation languages for mathematics make the structure of the mathematical knowledge in a document explicit enough so that machines can operate on it. Other examples of content-oriented formats for mathematics include the various logic-based languages found in automated reasoning tools, program specification languages.