aboutsummaryrefslogtreecommitdiff
path: root/mc
diff options
context:
space:
mode:
Diffstat (limited to 'mc')
-rw-r--r--mc/n1.lyx2
-rw-r--r--mc/n2.lyx2
2 files changed, 2 insertions, 2 deletions
diff --git a/mc/n1.lyx b/mc/n1.lyx
index a82eb74..24a340a 100644
--- a/mc/n1.lyx
+++ b/mc/n1.lyx
@@ -103,7 +103,7 @@ cadena
\end_inset
es un elemento de
-\begin_inset Formula $\Sigma^{*}:=\bigcup_{n\in\mathbb{N}}\Sigma^{n}$
+\begin_inset Formula $\Sigma^{*}\coloneqq \bigcup_{n\in\mathbb{N}}\Sigma^{n}$
\end_inset
, que solemos escribir como
diff --git a/mc/n2.lyx b/mc/n2.lyx
index b7cae20..8d6a8db 100644
--- a/mc/n2.lyx
+++ b/mc/n2.lyx
@@ -602,7 +602,7 @@ variable inicial
\end_inset
, donde
-\begin_inset Formula $\{w_{1},\dots,w_{n}\}=\{w\mid (T,w)\in V\}$
+\begin_inset Formula $\{w_{1},\dots,w_{n}\}=\{w\mid(T,w)\in V\}$
\end_inset
.