Parsing TEX into Mathematics

Abstract

Why are we doing this?

What does TeX know about Math

Ambiguity of spaces

Ambiguity of precedence and associativity

Ad hoc parsers and a sanity check

G&R forms which currently require intervention, and may not ever be worth parsing by machine

On the other hand, parsing TeX is easier than OCR

Despite shortcomings, here’s a successful example, 6.124 from G&R

Starting/Ending Encoding

Future

Email: fateman@uclink.berkeley.edu