Re: scripted operators  > Re: the discussion of scripted
operators > I'm not sure whether Bruce was speaking tongue-in-
cheek or not > on this: > > (2) the subscript operator _ applies
to terms, not other operators.  I was speaking seriously, but
about our present proposals for specific (well-understood)
syntaxes for HTML-Math, not about actual practice in notation.
> Can we carry precedence values into the parse tree and > then
prune them after parsing is complete?  We'd have to categorize >
_, ^, font changes, etc. to indicate that they're absorbed into
operators > when bound there.  I think we should probably do
this if we can come up with a way, but I don't yet see a clean
way, because the very structures through which the precedences
need to be passed, are themselves built up in a way which
depends on precedence.  For example, if you've parsed, from the
start of a line of HTML-Math,   (and even if you know that "f"
is a single token), you don't yet know if some operator after f
will have higher left-prec