
diff -r d27d35a0164a -r 1f9a45fb5429 handouts/ho04.tex
--- a/handouts/ho04.tex	Mon Oct 26 10:27:01 2020 +0000
+++ b/handouts/ho04.tex	Tue Oct 27 13:46:01 2020 +0000
@@ -864,7 +864,7 @@
 
 \[
 (name: [a\mbox{-}z0\mbox{-}9\_\!\_\,.-]^+)\cdot @\cdot 
-(domain: [a\mbox{-}z0\mbox{-}9\,.-]^+)\cdot .\cdot 
+(domain: [a\mbox{-}z0\mbox{-}9\,-]^+)\cdot .\cdot 
 (top\_level: [a\mbox{-}z\,.]^{\{2,6\}})
 \]
 




