Oops

1 files changed, 7 insertions, 7 deletions

diff --git a/cc/n2.lyx b/cc/n2.lyx
index 1aa3a14..abf0430 100644
--- a/cc/n2.lyx
+++ b/cc/n2.lyx
@@ -219,7 +219,7 @@ expresiones regulares
 
  y que los tres operadores son asociativos por la izquierda, y se puede
  escribir 
-\begin_inset Formula $\alpha\beta:=\alpha\circ\beta$
+\begin_inset Formula $\alpha\beta\coloneqq \alpha\circ\beta$
 \end_inset
 
 .
@@ -235,11 +235,11 @@ Toda expresión regular
 \end_inset
 
 , dado por 
-\begin_inset Formula $L(\emptyset):=\emptyset$
+\begin_inset Formula $L(\emptyset)\coloneqq \emptyset$
 \end_inset
 
 ; 
-\begin_inset Formula $L(\lambda):=\{\lambda\}$
+\begin_inset Formula $L(\lambda)\coloneqq \{\lambda\}$
 \end_inset
 
 ; si 
@@ -247,7 +247,7 @@ Toda expresión regular
 \end_inset
 
 , 
-\begin_inset Formula $L(a):=\{a\}$
+\begin_inset Formula $L(a)\coloneqq \{a\}$
 \end_inset
 
 , y si 
@@ -259,15 +259,15 @@ Toda expresión regular
 \end_inset
 
  son expresiones regulares, 
-\begin_inset Formula $L(\alpha|\beta):=L(\alpha)\cup L(\beta)$
+\begin_inset Formula $L(\alpha|\beta)\coloneqq L(\alpha)\cup L(\beta)$
 \end_inset
 
 , 
-\begin_inset Formula $L(\alpha\beta):=L(\alpha)L(\beta)$
+\begin_inset Formula $L(\alpha\beta)\coloneqq L(\alpha)L(\beta)$
 \end_inset
 
  y 
-\begin_inset Formula $L(\alpha^{*}):=L(\alpha)^{*}$
+\begin_inset Formula $L(\alpha^{*})\coloneqq L(\alpha)^{*}$
 \end_inset
 
 .