equal
deleted
inserted
replaced
779 \item A regular expression for email addresses |
779 \item A regular expression for email addresses |
780 |
780 |
781 \begin{center} |
781 \begin{center} |
782 \begin{tabular}{l} |
782 \begin{tabular}{l} |
783 (name: \bl{$[a\mbox{-}z0\mbox{-}9\_\!\_\,.-]^+$})\bl{$\cdot @\cdot$}\\ |
783 (name: \bl{$[a\mbox{-}z0\mbox{-}9\_\!\_\,.-]^+$})\bl{$\cdot @\cdot$}\\ |
784 \qquad(domain: \bl{$[a\mbox{-}z0\mbox{-}9\,.-]^+$}) \bl{$\cdot .\cdot$}\\ |
784 \qquad(domain: \bl{$[a\mbox{-}z0\mbox{-}9\,-]^+$}) \bl{$\cdot .\cdot$}\\ |
785 \qquad\qquad(top\_level: \bl{$[a\mbox{-}z\,.]^{\{2,6\}}$}) |
785 \qquad\qquad(top\_level: \bl{$[a\mbox{-}z\,.]^{\{2,6\}}$}) |
786 \end{tabular} |
786 \end{tabular} |
787 \end{center} |
787 \end{center} |
788 |
788 |
789 \bl{\[ |
789 \bl{\[ |