Workshop on Mathematical User Interfaces
Semantic Markup for TeX/LaTeX
Abstract:
We present a collection of TEX macro packages that allow to markup TEX/LATEX
documents semantically without leaving the document format, essentially
turning TEX/LATEX into a document format for mathematical knowledge
management (MKM).
We analyze the current practice of semi-semantic markup in
LATEX documents and supply a definition mechanism for semantic macros and a
non-standard scoping construct for them, which is oriented at the semantic
dependency relation rather than the document structure.
We evaluate the STEX macro collection on a large case study: the course
materials of a a two-semester course in Computer Science was annotated
semantically and converted to the OMDoc MKM format Bruce Miller’s
LaTeXML system.