subscripts on operators (etc)

I agree with your statement about parsing "embillished" operators.

I managed to do this fairly successfully in AsTeR when parsing TeX.

As you indicate, the process is to first gather up the embellishments
on operators, and then treat the embellished operators just like their
unembellished counterparts in the operator precedence.

Re: the integrals:

In my collection of examples, you will find a rather inoquous looking
integral that I currently know of no clean way of parsing.

Consider the expression:

\int {\dx \over x}  =  \log x

The problems arise because the written notation does not mention the
"1" which is the numerator of the integrand. 


Best Regards,

      Adobe Systems                 Tel: 1 (415) 962 3945   (B-1 115)
      Advanced Technology Group     Fax: 1 (415) 962 6153 
      1585 Charleston Road          Email: raman@adobe.com 
      Mountain View, CA 94039 -7900  raman@cs.cornell.edu 
      http://www.cs.cornell.edu/Info/People/raman/raman.html  (Cornell)

Disclaimer: The opinions expressed are my own and in no way should be taken
            as representative of my employer, Adobe Systems Inc.