The TeX/LaTeX workflow is deeply embedded into mathematical practice. Therefore the sTeX system allows to embed /structural semantics into documents. Concretely sTeX is a “semantic version of LaTeX” that allows to use special macros to encode mathematical meaning explicitly. This is (largely ignored in PDF generation), but can be taken into account when generating OMDoc-based active documents.

Resources

• sTeX at GitHub
• RusTeX, an sTeX-compatible TeX-to-HTML converter preserving semantic annotations
• Flams (Flexiformal Annotation Management System), managing (sTeX-generated) semantically annotated documents, a public instance is running on MathHub
• a (deprecated) corresponding LaTeXML plugin for sTeX
• Some sTeX-based libraries of active doucents on MathHub.info: SMGloM, active course notes.
• Their sources can be found here: SMGloM, active course notes.

Documentation/Papers

• M. Kohlhase (2008) Using LaTeX as a semantic markup format. Mathematics in Computer Science 2 (2), pp. 279–304
• … complete bibliography