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 and the 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