aboutsummaryrefslogtreecommitdiff
path: root/mc
diff options
context:
space:
mode:
authorJuan Marin Noguera <juan@mnpi.eu>2022-09-06 18:35:46 +0200
committerJuan Marin Noguera <juan@mnpi.eu>2022-09-06 18:35:46 +0200
commite606440951470b5142050f78980d6de7a1937658 (patch)
treea4d63fc6e69c1c7295e7a30ba098bf6a80200de7 /mc
parent09ea9d78d9fd959a1a314b3c03b3e583949a529b (diff)
Corrección mc/n1
Diffstat (limited to 'mc')
-rw-r--r--mc/n1.lyx4
1 files changed, 2 insertions, 2 deletions
diff --git a/mc/n1.lyx b/mc/n1.lyx
index 62d5293..8fde36d 100644
--- a/mc/n1.lyx
+++ b/mc/n1.lyx
@@ -103,7 +103,7 @@ cadena
\end_inset
es un elemento de
-\begin_inset Formula ${\cal U}_{\Sigma}\coloneqq\Sigma^{*}:=\bigcup_{n\in\mathbb{N}}\Sigma^{n}$
+\begin_inset Formula $\Sigma^{*}:=\bigcup_{n\in\mathbb{N}}\Sigma^{n}$
\end_inset
, que solemos escribir como
@@ -149,7 +149,7 @@ lenguaje
\end_inset
es un
-\begin_inset Formula $L\subseteq\Sigma^{*}$
+\begin_inset Formula $L\in{\cal U}_{\Sigma}\coloneqq{\cal P}(\Sigma^{*})$
\end_inset
.