aboutsummaryrefslogtreecommitdiff
path: root/cyn/n7.lyx
diff options
context:
space:
mode:
Diffstat (limited to 'cyn/n7.lyx')
-rw-r--r--cyn/n7.lyx10
1 files changed, 5 insertions, 5 deletions
diff --git a/cyn/n7.lyx b/cyn/n7.lyx
index 102ac10..525fc3d 100644
--- a/cyn/n7.lyx
+++ b/cyn/n7.lyx
@@ -201,7 +201,7 @@ Demostración:
\end_inset
y
-\begin_inset Formula $R=\{x\in\mathbb{Z}|x\geq0\land\exists n\in\mathbb{Z}:x=a-bn\}\subseteq\mathbb{N}$
+\begin_inset Formula $R=\{x\in\mathbb{Z}|x\geq0\land\exists n\in\mathbb{Z}\mid x=a-bn\}\subseteq\mathbb{N}$
\end_inset
.
@@ -512,7 +512,7 @@ Dados
máximo común divisor
\series default
es
-\begin_inset Formula $\text{mcd}(a,b)=\max\{d\in\mathbb{Z}:d|a\land d|b\}$
+\begin_inset Formula $\text{mcd}(a,b)=\max\{d\in\mathbb{Z}\mid d|a\land d|b\}$
\end_inset
(excepción:
@@ -792,7 +792,7 @@ El máximo común divisor de
\end_inset
es
-\begin_inset Formula $\text{mcd}(a_{1},\dots,a_{n})=\max\{d\in\mathbb{Z}:\forall i,d|a_{i}\}$
+\begin_inset Formula $\text{mcd}(a_{1},\dots,a_{n})=\max\{d\in\mathbb{Z}\mid \forall i,d|a_{i}\}$
\end_inset
.
@@ -1071,7 +1071,7 @@ Dados
mínimo común múltiplo
\series default
es
-\begin_inset Formula $\text{mcm}(a,b)=\min\{m\in\mathbb{Z}^{+}:a|m\land b|m\}$
+\begin_inset Formula $\text{mcm}(a,b)=\min\{m\in\mathbb{Z}^{+}\mid a|m\land b|m\}$
\end_inset
.
@@ -1215,7 +1215,7 @@ El mínimo común múltiplo de
\end_inset
es
-\begin_inset Formula $\text{mcm}(a_{1},\dots,a_{n})=\min\{m\in\mathbb{Z}^{+}:\forall i,a_{i}|m\}$
+\begin_inset Formula $\text{mcm}(a_{1},\dots,a_{n})=\min\{m\in\mathbb{Z}^{+}\mid \forall i,a_{i}|m\}$
\end_inset
.