Hi Jonathan,

I doubt if I will be available for the meeting you mentioned.

Let me just say that profiled LaTeX, as in my talk at TUG 2010,

provides a formal elucidation of the tree structure in any math expression in its author-level XML document type.  My project

GELLMU provides a didactic example.  In the didactic production system there's also another formal elucidation of the math tree structure for each math expression in the spawned HTML-with-MathML output, but the latter involves only the less expressive vocabulary of presentation MathML whereas the former has a vocabulary (for element names) that is close to the command vocabulary for LaTeX.  (Of course, the MathML there could be enriched using MathML <semantics> to refer back to LaTeX-like names.)

I have not provided a good tuning of my didactic author-level XML for use of the blind, but I think it should not be far away for someone who wants to do that.

In my talk at TUG 2014 I spoke about the possibilities for direct "viewing" of (a tuning of) my didactic author-level XML in a web browser using only CSS.

Thank you for providing this focus.

Best regards,

                     -- Bill

--