
diff -r 46cc69622a56 -r 95b3e918253f slides/slides04.tex
--- a/slides/slides04.tex	Tue Oct 27 13:51:34 2020 +0000
+++ b/slides/slides04.tex	Tue Oct 27 13:53:27 2020 +0000
@@ -781,7 +781,7 @@
 \begin{center}
 \begin{tabular}{l}
 (name: \bl{$[a\mbox{-}z0\mbox{-}9\_\!\_\,.-]^+$})\bl{$\cdot @\cdot$}\\ 
-\qquad(domain: \bl{$[a\mbox{-}z0\mbox{-}9\,.-]^+$}) \bl{$\cdot .\cdot$}\\ 
+\qquad(domain: \bl{$[a\mbox{-}z0\mbox{-}9\,-]^+$}) \bl{$\cdot .\cdot$}\\ 
 \qquad\qquad(top\_level: \bl{$[a\mbox{-}z\,.]^{\{2,6\}}$})
 \end{tabular}
 \end{center}




