1 files changed, 17 insertions, 17 deletions
diff --git a/fuvr1/n1.lyx b/fuvr1/n1.lyx
index fe23ed5..8349d8a 100644
--- a/fuvr1/n1.lyx
+++ b/fuvr1/n1.lyx
@@ -189,7 +189,7 @@ opuesto:
 
 .
  
-\begin_inset Formula $a':=-a$
+\begin_inset Formula $a'\coloneqq -a$
 \end_inset
 
 .
@@ -269,11 +269,11 @@ Pongamos que existe otro
 Inverso para el producto:
 \series default
  
-\begin_inset Formula $\forall a\in\mathbb{K}\backslash\{0\},\exists!a''\mid a\cdot a''=1$
+\begin_inset Formula $\forall a\in\mathbb{K}\backslash\{0\},\exists!a'':a\cdot a''=1$
 \end_inset
 
 ; 
-\begin_inset Formula $a'':=\frac{1}{a}:=a^{-1}$
+\begin_inset Formula $a''\coloneqq \frac{1}{a}\coloneqq a^{-1}$
 \end_inset
 
 .
@@ -903,7 +903,7 @@ bicho
 números naturales
 \series default
  
-\begin_inset Formula $\mathbb{N}:=\text{bicho}$
+\begin_inset Formula $\mathbb{N}\coloneqq \text{bicho}$
 \end_inset
 
 .
@@ -1023,11 +1023,11 @@ Demostrar resto de propiedades cuando las estudiemos, si no como ejercicio.
 
 \begin_layout Standard
 Definimos 
-\begin_inset Formula $\mathbb{Z}:=\{0\}\cup\{n\in\mathbb{R}\mid n\in\mathbb{N}\text{ o }-n\in\mathbb{N}\}$
+\begin_inset Formula $\mathbb{Z}\coloneqq \{0\}\cup\{n\in\mathbb{R}\mid n\in\mathbb{N}\text{ o }-n\in\mathbb{N}\}$
 \end_inset
 
  y 
-\begin_inset Formula $\mathbb{Q}:=\{m\cdot n^{-1}\mid m\in\mathbb{Z},n\in\mathbb{N}\}$
+\begin_inset Formula $\mathbb{Q}\coloneqq \{m\cdot n^{-1}\mid m\in\mathbb{Z},n\in\mathbb{N}\}$
 \end_inset
 
 .
@@ -1233,7 +1233,7 @@ propiedad arquimediana:
 Demostración:
 \series default
  De no ser así, 
-\begin_inset Formula $A:=\{ny\mid n\in\mathbb{N}\}$
+\begin_inset Formula $A\coloneqq \{ny\mid n\in\mathbb{N}\}$
 \end_inset
 
  estaría acotado superiormente por 
@@ -1242,7 +1242,7 @@ Demostración:
 
 .
  Sea 
-\begin_inset Formula $\alpha:=\sup A$
+\begin_inset Formula $\alpha\coloneqq \sup A$
 \end_inset
 
 ; tendríamos que 
@@ -1314,7 +1314,7 @@ Demostración:
 \end_inset
 
  no tuviera primer elemento y sea 
-\begin_inset Formula $B:=\mathbb{N}\backslash A$
+\begin_inset Formula $B\coloneqq \mathbb{N}\backslash A$
 \end_inset
 
  el complementario de 
@@ -1414,7 +1414,7 @@ Demostremos que existe.
 
 .
  Si tomamos 
-\begin_inset Formula $m:=k-1$
+\begin_inset Formula $m\coloneqq k-1$
 \end_inset
 
  obtenemos el resultado.
@@ -1486,7 +1486,7 @@ Demostración:
 
 .
  Si 
-\begin_inset Formula $m:=[nx]$
+\begin_inset Formula $m\coloneqq [nx]$
 \end_inset
 
 , entonces 
@@ -1597,7 +1597,7 @@ Demostración:
 
  sería impar.
  Sea pues 
-\begin_inset Formula $2p':=p$
+\begin_inset Formula $2p'\coloneqq p$
 \end_inset
 
  (con 
@@ -1728,7 +1728,7 @@ Para demostrar la primera afirmación debemos ver que es posible encontrar
 \end_inset
 
  tal que si 
-\begin_inset Formula $t:=r(1+\varepsilon)$
+\begin_inset Formula $t\coloneqq r(1+\varepsilon)$
 \end_inset
 
  se tenga 
@@ -1759,7 +1759,7 @@ Para demostrar la primera afirmación debemos ver que es posible encontrar
 
  es un cuerpo denso.
  La demostración de la segunda afirmación es análoga, pero tomando 
-\begin_inset Formula $w:=\frac{s}{1+\varepsilon}$
+\begin_inset Formula $w\coloneqq \frac{s}{1+\varepsilon}$
 \end_inset
 
 .
@@ -1839,7 +1839,7 @@ Demostración:
 
 .
  Por tanto 
-\begin_inset Formula $\exists\alpha:=\sup A$
+\begin_inset Formula $\exists\alpha\coloneqq \sup A$
 \end_inset
 
 .
@@ -1945,7 +1945,7 @@ Sea
 
 .
  Entonces 
-\begin_inset Formula $z:=w+\frac{\sqrt{2}}{n}$
+\begin_inset Formula $z\coloneqq w+\frac{\sqrt{2}}{n}$
 \end_inset
 
 .
@@ -2164,7 +2164,7 @@ Distancia
 \end_inset
 
 : 
-\begin_inset Formula $d(x,y):=|x-y|$
+\begin_inset Formula $d(x,y)\coloneqq |x-y|$
 \end_inset
 
 .