Semantic encoding: OMdoc

OMdoc is an XML language for mathematical documents
based on the OpenMath (european) standard
Has such items as definition, proof, example, assertion
Allows dual encoding: for humans and for machines
all mathematical formulas are in OpenMath
ontology is extensible (symbols have definitions !)
has several XSL stylesheets for conversion to HTML, LaTeX, math systems...

<- ->