# HG changeset patch # User Christian Urban # Date 1603806807 0 # Node ID 8a09c03a098fa808e1afecd4a710ecd9ecdab697 # Parent b5a2d033679f15d83744920b5ec0ed16d892cdff updated diff -r b5a2d033679f -r 8a09c03a098f slides/slides04.pdf Binary file slides/slides04.pdf has changed diff -r b5a2d033679f -r 8a09c03a098f 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}