Oops

1 files changed, 5 insertions, 5 deletions

diff --git a/tem/n4.lyx b/tem/n4.lyx
index 2f3a2e7..3e83317 100644
--- a/tem/n4.lyx
+++ b/tem/n4.lyx
@@ -369,7 +369,7 @@ Demostración:
 \end_inset
 
  y definimos 
-\begin_inset Formula $G=\{x\in[a,b]|\exists\{A_{i_{1}},\dots,A_{i_{n}}\}\in{\cal P}_{0}({\cal A})\mid [a,x]\subseteq A_{i_{1}}\cup\dots\cup A_{i_{n}}\}$
+\begin_inset Formula $G=\{x\in[a,b]|\exists\{A_{i_{1}},\dots,A_{i_{n}}\}\in{\cal P}_{0}({\cal A}):[a,x]\subseteq A_{i_{1}}\cup\dots\cup A_{i_{n}}\}$
 \end_inset
 
 .
@@ -641,7 +641,7 @@ Demostración:
 
 .
  Sea entonces 
-\begin_inset Formula $A:=\bigcap_{i=1}^{r}A_{x_{i}}\in{\cal E}(p)$
+\begin_inset Formula $A\coloneqq \bigcap_{i=1}^{r}A_{x_{i}}\in{\cal E}(p)$
 \end_inset
 
 , dado 
@@ -1379,7 +1379,7 @@ teorema de la continuidad de la función inversa
 Demostración:
 \series default
  Basta probar que 
-\begin_inset Formula $g:=f^{-1}$
+\begin_inset Formula $g\coloneqq f^{-1}$
 \end_inset
 
  es continua.
@@ -1513,7 +1513,7 @@ Demostración:
 
 .
  Sea ahora 
-\begin_inset Formula $\delta'_{p}:=\frac{\delta_{p}}{2}$
+\begin_inset Formula $\delta'_{p}\coloneqq \frac{\delta_{p}}{2}$
 \end_inset
 
  y 
@@ -1529,7 +1529,7 @@ Demostración:
 \end_inset
 
 , y llamamos 
-\begin_inset Formula $\delta:=\min\{\delta'_{p_{1}},\dots,\delta'_{p_{r}}\}$
+\begin_inset Formula $\delta\coloneqq \min\{\delta'_{p_{1}},\dots,\delta'_{p_{r}}\}$
 \end_inset
 
 .