
diff -r 84608b4b3578 -r 7611ace6a93b coursework/cw01.tex
--- a/coursework/cw01.tex	Mon Oct 03 01:17:23 2016 +0100
+++ b/coursework/cw01.tex	Mon Oct 03 20:35:25 2016 +0100
@@ -138,12 +138,12 @@
 
 \begin{center}
 \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 \cdot \ZERO$ & $\mapsto$ & $\ZERO$\\ 
+$\ZERO \cdot r$ & $\mapsto$ & $\ZERO$\\ 
+$r \cdot \ONE$ & $\mapsto$ & $r$\\ 
+$\ONE \cdot r$ & $\mapsto$ & $r$\\ 
+$r + \ZERO$ & $\mapsto$ & $r$\\ 
+$\ZERO + r$ & $\mapsto$ & $r$\\ 
 $r + r$ & $\mapsto$ & $r$\\ 
 \end{tabular}
 \end{center}




