OMDoc is a markup format and data model for Open Mathematical Documents. It serves as semantics-oriented representation format and ontology language for mathematical knowledge. The formal part of OMDoc has been refined into the MMT format, and we use the MMT System as the reference implementation.

We are currently working on extending MMT to cover the full flexiformal coverage of OMDoc.