# HG changeset patch
# User Eugen Sawin <sawine@me73.com>
# Date 1308008164 -7200
# Node ID ac847263ce98f68885b7259174e77cbb987e7cf1
# Parent  b838b37dfcc184b26f695f4184113ebfffaac788
Minor stuff.

diff -r b838b37dfcc1 -r ac847263ce98 paper/src/paper.tex
--- a/paper/src/paper.tex	Wed Jun 01 18:53:27 2011 +0200
+++ b/paper/src/paper.tex	Tue Jun 14 01:36:04 2011 +0200
@@ -96,11 +96,13 @@
 \end{def:regular languages}
 
 \begin{def:regular languages closure}
-Let $L_{R_1}, L_{R_2} \in \Sigma$ be regular. The class of regular languages is closed under following operations:
+Let $L_{R_1}, L_{R_2} \in \Sigma^*$ be regular. The class of regular languages is closed under following operations:
 \begin{itemize}
 \item $L_{R_1}^*$
 \item $L_{R_1} \circ L_{R_2}$
 \item $L_{R_1} \cup L_{R_2}$
+\item $L_{R_1} \cap L_{R_2}$
+\item $\overline{L}_{R_1}$ and therefore $L_{R_1} - L_{R_2}$
 \end{itemize}
 \end{def:regular languages closure}