diff -r 0d309fafa9f0 -r bb24d4e207b6 slides/slides05.tex --- a/slides/slides05.tex Fri Oct 26 16:14:10 2018 +0100 +++ b/slides/slides05.tex Fri Oct 26 17:13:41 2018 +0100 @@ -754,7 +754,7 @@ \frametitle{Parse Trees} \mbox{}\\[-12mm] -\bl{\begin{plstx}: \meta{E} ::= \meta{F} | \meta{T} \cdot + \cdot \meta{E} | \meta{T} \cdot - \cdot \meta{E}\\ +\bl{\begin{plstx}: \meta{E} ::= \meta{T} | \meta{T} \cdot + \cdot \meta{E} | \meta{T} \cdot - \cdot \meta{E}\\ : \meta{T} ::= \meta{F} | \meta{F} \cdot * \cdot \meta{T}\\ : \meta{F} ::= num\_token | ( \cdot \meta{E} \cdot )\\ \end{plstx}}