--- 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}