
diff -r c7890e677e06 -r f406c6677b8c slides/slides04.tex
--- a/slides/slides04.tex	Mon Oct 13 06:28:27 2014 +0100
+++ b/slides/slides04.tex	Mon Oct 13 06:30:09 2014 +0100
@@ -603,7 +603,7 @@
   \bl{$v$} & \bl{$::=$}  & \\
            &             & \bl{$Empty$}   \\
            & \bl{$\mid$} & \bl{$Char(c)$}          \\
-           & \bl{$\mid$} & \bl{$Seq(v_1\,v_2)$}\\
+           & \bl{$\mid$} & \bl{$Seq(v_1,v_2)$}\\
            & \bl{$\mid$} & \bl{$Left(v)$}   \\
            & \bl{$\mid$} & \bl{$Right(v)$}  \\
            & \bl{$\mid$} & \bl{$[]$}      \\




