diff -r b9b54574ee41 -r 1446bc47a294 coursework/cw01.tex --- a/coursework/cw01.tex Sat Oct 11 13:54:18 2014 +0100 +++ b/coursework/cw01.tex Sun Oct 12 19:39:55 2014 +0100 @@ -123,13 +123,14 @@ rules: \begin{center} -\begin{tabular}{l@{\hspace{2mm}}c@{\hspace{2mm}}l} +\begin{tabular}{l@{\hspace{2mm}}c@{\hspace{2mm}}ll} $r \cdot \varnothing$ & $\mapsto$ & $\varnothing$\\ $\varnothing \cdot r$ & $\mapsto$ & $\varnothing$\\ $r \cdot \epsilon$ & $\mapsto$ & $r$\\ $\epsilon \cdot r$ & $\mapsto$ & $r$\\ $r + \varnothing$ & $\mapsto$ & $r$\\ $\varnothing + r$ & $\mapsto$ & $r$\\ +$r + r$ & $\mapsto$ & $r$ & (added on 12 October)\\ \end{tabular} \end{center}