--- a/slides/slides03.tex	Wed Oct 07 09:08:55 2020 +0100
+++ b/slides/slides03.tex	Sun Oct 11 09:10:08 2020 +0100
@@ -190,8 +190,8 @@
 
 \begin{center}
 \begin{tabular}{l}
-\bl{$\widehat{\delta}(q, []) \dn q$}\\
-\bl{$\widehat{\delta}(q, c::s) \dn \widehat{\delta}(\delta(q, c), s)$}\\
+\bl{$\widehat{\delta}(Q, []) \dn Q$}\\
+\bl{$\widehat{\delta}(Q, c::s) \dn \widehat{\delta}(\delta(Q, c), s)$}\\
 \end{tabular}
 \end{center}\pause