On Tue, Jun 9, 2026 at 4:03 PM Martin Thomson <[email protected]> wrote: > > On Tue, Jun 9, 2026, at 19:59, Martin J. Dürst wrote: > > I think Martin Thomson in an earlier mail asked about whether MathML > > would be able to represent any semantics. I think it's easy to say that > > that's not possible, because it's always possible that some > > Mathematician comes up with a new theory that isn't covered by MathML. > > But a quick look at e.g. > > https://www.w3.org/TR/MathML3/chapter4.html#contm.opel should convince > > the reader that a very wide range of Math is indeed covered. > > As a practical matter, this presentation/content distinction is key. Most of > the tools we have, especially those that produce MathML from LaTeX, will > produce the presentation form. That diminishes the availability of semantics > significantly. As the examples show, <interval > closure="open-closed"><cn>0</cn><cn>1</cn></interval> carries useful > semantics that is less clear in <mfenced open="(" > close="]"><mn>0</mn><mn>1</mn></mfenced>.
Are there authoring tools that can do this? I think most working mathematicians are focused on getting it to look right, and the text/context supplies the semantics. That implies things about the authoring flow, and getting people to touch up stuff their authoring tools made is a challenge. But we'll let the RPC solve that! > > -- > rswg mailing list -- [email protected] > To unsubscribe send an email to [email protected] -- Astra mortemque praestare gradatim -- rswg mailing list -- [email protected] To unsubscribe send an email to [email protected]
