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 <http://www.albany.edu/~hammond/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 <https://tug.org/TUGboat/tb35-2/tb110hammond.pdf> 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.
William F Hammond
Email: [log in to unmask]
On Mon, Mar 22, 2021 at 7:09 AM Jonathan Fine <[log in to unmask]> wrote
> A math formula has a tree structure, as does the source code for a
> computer program. There's a shared interest in navigating complex trees.
> Particularly the blind math people who prefer to read math via the LaTeX
> source file.