{s\TeX3\Dash A \LaTeX-based ecosystem for semantic/active mathematical documents}
{Dennis M\"uller, Michael Kohlhase}
{We report on s\TeX3\Dash a complete redesign and reimplementation
(using \LaTeX3) from the ground up of the s\TeX\ ecosystem for semantic
markup of mathematical documents. Specifically, we present:
1. \The\ sTeX package that allows declaring semantic macros and provides
a module system for organizing and importing semantic macros using
logical identifiers. Semantic macros allow for annotating arbitrary
LaTeX fragments, particularly symbolic notations and formulae, with
their functional structure and formal semantics while keeping their
presentation/layout intact. The module system induces a ``theory
graph''-structure on mathematical concepts, reflecting their
dependencies and other semantic relations.
2. The Rus\TeX\ system, an implementation of the core \TeX\ engine in
Rust. Generally Rus\TeX\ allows for converting arbitrary \LaTeX\
documents to \XHTML. For s\TeX3 documents, these are enriched with
semantic annotations based on the flexiformal \acro{OMD}oc ontology.
3. An \acro{MMT} integration: The Rus\TeX-generated \XHTML\ can be
imported and served by the \acro{MMT} system for semantically-informed
knowledge management services, e.g., linking symbols in formulae to
their definition or ``guided tour'' mini-courses for any (semantically
annotated) mathematical concept\slash object.
Generally, s\TeX3 documents can be made not only interactive (by
embedding semantic services), but also ``active'' in that they actively
adapt to reader preferences and pre-knowledge (if known).
}