STeX

sTeX provides semantic markup for based on::LaTeX and can be regarded as a notation for notation for::based on::OMDoc (via LaTeXML conversion). It is developed by developed by::Michael Kohlhase.

Applications
An Emacs mode for editing sTeX documents, implemented as an extension of AUCTeX, exists.

Resources

 * /Tutorial
 * [/stex/trunk/doc/mcs08/stex.pdf A paper about sTeX]
 * [/stex/trunk/doc/mcs08/stex.pdf A paper about sTeX]