RE: machine readability (conversation starters)

> We need to allow authors to do high level semantic markup but we also
know that most authors won’t do it. Marking up things at authoring time is
hard work. Languages like TeX make it a little easier for things like units
but aren’t a general solution.

I'm new to the list so I'm sorry if I'm missing context of some of this
stuff, but maybe we could flip things around. Instead of marking up math
layout with semantics we could go semantic by default and then use styles
to get different looks.

As an example, vectors can be presented as bold or with an arrow over top.
The HTML could be something like <vec>a</vec> to represent a vector, then
there could be a CSS style like vec: { vector-style: 'arrow' }. There could
be something similar for multiplication, e.g. <binop op="mul"> with CSS
like binop[op="mul"]: { symbol: &cdot; }.