# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1413177990 -3600
# Node ID 8eb3261294baf92e49b78df6c95c817e39ef3b82
# Parent  2e53aa2981e2bc4f7766012a859eeacb71da96bd
updated

diff -r 2e53aa2981e2 -r 8eb3261294ba slides/slides04.pdf
Binary file slides/slides04.pdf has changed
diff -r 2e53aa2981e2 -r 8eb3261294ba slides/slides04.tex
--- a/slides/slides04.tex	Mon Oct 13 00:20:16 2014 +0100
+++ b/slides/slides04.tex	Mon Oct 13 06:26:30 2014 +0100
@@ -448,7 +448,7 @@
 OP:\\
 \hspace{5mm}{+}\\
 COMMENT:\\
-\hspace{5mm}{$\slash$*} $\cdot$ (ALL$^*$ $\cdot$ {$\sim$(*$\slash$)} $\cdot$ ALL$^*$) $\cdot$ {*$\slash$}
+\hspace{5mm}{$\slash$*} $\cdot$ $\sim$(ALL$^*$ $\cdot$ (*$\slash$) $\cdot$ ALL$^*$) $\cdot$ {*$\slash$}
 \end{tabular}
 
 \end{frame}