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/n1.lyx | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'cc/n1.lyx')

diff --git a/cc/n1.lyx b/cc/n1.lyx
index ee9fa3c..f019c35 100644
--- a/cc/n1.lyx
+++ b/cc/n1.lyx
@@ -737,7 +737,7 @@ Una
 gramática
 \series default
  es una tupla 
-\begin_inset Formula $G:=(V_{N},V_{T},P,S)$
+\begin_inset Formula $G\coloneqq (V_{N},V_{T},P,S)$
 \end_inset
 
  donde 
@@ -827,7 +827,7 @@ deriva directamente
 
 .
  Si 
-\begin_inset Formula $\alpha=:\gamma_{0}\Rightarrow\dots\Rightarrow\gamma_{n}:=\beta$
+\begin_inset Formula $\alpha=:\gamma_{0}\Rightarrow\dots\Rightarrow\gamma_{n}\coloneqq \beta$
 \end_inset
 
 , 
@@ -901,7 +901,7 @@ Una
 forma sentencial
 \series default
  es un elemento de 
-\begin_inset Formula $D(G):=\{\alpha\in(V_{N}\cup V_{T})^{*}\mid S\Rightarrow^{*}\alpha\}$
+\begin_inset Formula $D(G)\coloneqq \{\alpha\in(V_{N}\cup V_{T})^{*}\mid S\Rightarrow^{*}\alpha\}$
 \end_inset
 
 , y una 
@@ -909,7 +909,7 @@ forma sentencial
 sentencia
 \series default
  es un elemento de 
-\begin_inset Formula ${\cal L}(G):=D(G)\cap V_{T}^{*}$
+\begin_inset Formula ${\cal L}(G)\coloneqq D(G)\cap V_{T}^{*}$
 \end_inset
 
 , el 
-- 
cgit v1.2.3