OMDoc

Open Mathematical Documents
Filename extension
.omdoc
Internet media type
application/omdoc+xml
Developed byMichael Kohlhase
Type of formatMarkup language
Container forMathML, OpenMath
Extended fromOpenMath
StandardOMDoc 1.2

OMDoc (Open Mathematical Documents) is a semantic markup format for mathematical documents. While MathML only covers mathematical formulae and the related OpenMath standard only supports formulae and “content dictionaries” containing definitions of the symbols used in formulae, OMDoc covers the whole range of written mathematics.