From c34b47089a133e58032fe4ea52f61efacaf5f548 Mon Sep 17 00:00:00 2001
From: Juan Marin Noguera <juan@mnpi.eu>
Date: Sun, 4 Dec 2022 22:49:17 +0100
Subject: Oops

---
 ggs/n4.lyx | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'ggs/n4.lyx')

diff --git a/ggs/n4.lyx b/ggs/n4.lyx
index f6e22f9..dab3566 100644
--- a/ggs/n4.lyx
+++ b/ggs/n4.lyx
@@ -134,7 +134,7 @@ segmento de curva diferenciable a trozos
 \end_inset
 
 , 
-\begin_inset Formula $\alpha_{i}:=\alpha|_{[t_{i-1},t_{i}]}$
+\begin_inset Formula $\alpha_{i}\coloneqq \alpha|_{[t_{i-1},t_{i}]}$
 \end_inset
 
  es un segmento de curva diferenciable.
@@ -258,7 +258,7 @@ Demostración:
 
 \begin_layout Standard
 Primero vemos que 
-\begin_inset Formula $A:=\{q\in S\mid \Omega(p,q)\neq\emptyset\}=S$
+\begin_inset Formula $A\coloneqq \{q\in S\mid \Omega(p,q)\neq\emptyset\}=S$
 \end_inset
 
  viendo que es abierto, cerrado y no vacío.
@@ -468,7 +468,7 @@ Por la desigualdad de Cauchy-Schwarz, sean
 \end_inset
 
  y 
-\begin_inset Formula $v:=\frac{\overrightarrow{q-p}}{\Vert\overrightarrow{q-p}\Vert}$
+\begin_inset Formula $v\coloneqq \frac{\overrightarrow{q-p}}{\Vert\overrightarrow{q-p}\Vert}$
 \end_inset
 
 , entonces
@@ -682,7 +682,7 @@ Existe un entorno
 \end_inset
 
  estrellado respecto al 0 con 
-\begin_inset Formula $\exp_{p}:{\cal U}\to(V:=\exp_{p}({\cal U}))$
+\begin_inset Formula $\exp_{p}:{\cal U}\to(V\coloneqq \exp_{p}({\cal U}))$
 \end_inset
 
  difeomorfismo, luego existe 
@@ -750,7 +750,7 @@ Queremos ver que
 \end_inset
 
 , existe 
-\begin_inset Formula $t^{*}:=\inf\{t\in[a,b]\mid \alpha(t)\notin D(p,r^{*})\}$
+\begin_inset Formula $t^{*}\coloneqq \inf\{t\in[a,b]\mid \alpha(t)\notin D(p,r^{*})\}$
 \end_inset
 
 , pero 
-- 
cgit v1.2.3