aboutsummaryrefslogtreecommitdiff
path: root/cc/n1.lyx
diff options
context:
space:
mode:
Diffstat (limited to 'cc/n1.lyx')
-rw-r--r--cc/n1.lyx2
1 files changed, 1 insertions, 1 deletions
diff --git a/cc/n1.lyx b/cc/n1.lyx
index 0d3ecb2..ee9fa3c 100644
--- a/cc/n1.lyx
+++ b/cc/n1.lyx
@@ -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})^{*}:S\Rightarrow^{*}\alpha\}$
+\begin_inset Formula $D(G):=\{\alpha\in(V_{N}\cup V_{T})^{*}\mid S\Rightarrow^{*}\alpha\}$
\end_inset
, y una