System Description STEX3-A LATEX-Based Ecosystem for Semantic/Active Mathematical Documents

We report on STEX3 - a complete redesign and reimplementation (using LATEX3) from the ground up of the STEX ecosystem for semantic markup of mathematical documents. Specifically, we present: i) The STEX package that allows declaring semantic macros and provides a module system for organizing and importing semantic macros using logical identifiers. STEX3 is a (now) standard LATEX package with minimal dependencies and is compatible with arbitrary document class and package. ii) The RUSTEX system, an implementation of the core TEX-engine in Rust. It allows for converting arbitrary LATEX-documents to XHTML - for STEX3-documents enriched with semantic annotations based on the OMDoc ontology. iii) An MMT integration: The RUSTEX-generated XHTML can be imported and served by the MMT system for further semantic knowledge management services.