From c34b47089a133e58032fe4ea52f61efacaf5f548 Mon Sep 17 00:00:00 2001
From: Juan Marin Noguera <juan@mnpi.eu>
Date: Sun, 4 Dec 2022 22:49:17 +0100
Subject: Oops

---
 cc/n2.lyx | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'cc/n2.lyx')

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
 
 .
-- 
cgit v1.2.3