STeX
From MathWeb
sTeX provides semantic markup for LaTeX and can be regarded as a notation for OMDoc (via LaTeXML conversion). It is developed by Michael Kohlhase.
Applications
An Emacs mode for editing sTeX documents, implemented as an extension of AUCTeX, exists.
