# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1475523325 -3600
# Node ID 7611ace6a93bf321df1ea5dc052608f5518d6b35
# Parent  84608b4b3578bf2af388fcedeb4a5ec25b30e033
updated

diff -r 84608b4b3578 -r 7611ace6a93b coursework/cw01.pdf
Binary file coursework/cw01.pdf has changed
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}