| author | Christian Urban <christian dot urban at kcl dot ac dot uk> |
| Mon, 13 Oct 2014 06:26:30 +0100 | |
| changeset 277 | 8eb3261294ba |
| parent 276 | 2e53aa2981e2 |
| child 278 | c7890e677e06 |
| slides/slides04.pdf | file | annotate | diff | comparison | revisions | |
| slides/slides04.tex | file | annotate | diff | comparison | revisions |
--- 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}