From MathWeb

XSLT style sheets transforming OMDoc documents to …

• XHTML+Presentation MathML
• XHTML (deprecated)
• TeX (unmaintained)
• … or other formats (representation formats of theorem provers, too).

Developers

After major changes, run make on omdoc/examples.

References

• OMDoc (Book), chapter 24
• SWiM tech report, section 3.5.2