Towards Semantic Markup of Mathematical Documents via User Interaction
This addresses the challenge for authors of mathematical documents in transitioning to semantic markup, which is incremental as it builds on existing sTeX methods.
The paper tackled the problem of ambiguities in LaTeX mathematical documents by developing semi-automatic tools for semantic markup, resulting in a GUI-based tool for disambiguation and showcasing its functionality with a grammar for parsing untyped λ-terms.
Mathematical documents written in LaTeX often contain ambiguities. We can resolve some of them via semantic markup using, e.g., sTeX, which also has other potential benefits, such as interoperability with computer algebra systems, proof systems, and increased accessibility. However, semantic markup is more involved than "regular" typesetting and presents a challenge for authors of mathematical documents. We aim to smooth out the transition from plain LaTeX to semantic markup by developing semi-automatic tools for authors. In this paper we present an approach to semantic markup of formulas by (semi-)automatically generating grammars from existing sTeX macro definitions and parsing mathematical formulas with them. We also present a GUI-based tool for the disambiguation of parse results and showcase its functionality and potential using a grammar for parsing untyped $λ$-terms.