Parsing TEX into Mathematics


Click here to start

Table of Contents

Parsing TEX into Mathematics


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


Author: Richard Fateman