Oops

4 files changed, 135 insertions, 135 deletions

diff --git a/aalg/n1.lyx b/aalg/n1.lyx
index a783d88..a64cfdb 100644
--- a/aalg/n1.lyx
+++ b/aalg/n1.lyx
@@ -736,7 +736,7 @@ Dadas dos circunferencias
 \end_inset
 
 , sea 
-\begin_inset Formula $d:=\Vert\overrightarrow{OO'}\Vert\neq0$
+\begin_inset Formula $d\coloneqq \Vert\overrightarrow{OO'}\Vert\neq0$
 \end_inset
 
 , estas se cortan en dos puntos si 
@@ -757,11 +757,11 @@ Dadas dos circunferencias
 Demostración:
 \series default
  Sean 
-\begin_inset Formula ${\cal C}:={\cal C}(O,r)$
+\begin_inset Formula ${\cal C}\coloneqq {\cal C}(O,r)$
 \end_inset
 
  y 
-\begin_inset Formula ${\cal D}:={\cal C}(O',r')$
+\begin_inset Formula ${\cal D}\coloneqq {\cal C}(O',r')$
 \end_inset
 
 , la ecuación de 
@@ -880,7 +880,7 @@ secante
 \end_inset
 
  un punto exterior a la circunferencia 
-\begin_inset Formula ${\cal C}:={\cal C}(O,r)$
+\begin_inset Formula ${\cal C}\coloneqq {\cal C}(O,r)$
 \end_inset
 
  (
@@ -920,11 +920,11 @@ secante
 Demostración:
 \series default
  Sea 
-\begin_inset Formula $M:=\frac{O+P}{2}$
+\begin_inset Formula $M\coloneqq \frac{O+P}{2}$
 \end_inset
 
  y 
-\begin_inset Formula ${\cal D}:={\cal C}(M,\Vert\overrightarrow{MO}\Vert)$
+\begin_inset Formula ${\cal D}\coloneqq {\cal C}(M,\Vert\overrightarrow{MO}\Vert)$
 \end_inset
 
 , sabemos que 
@@ -1235,7 +1235,7 @@ Demostración:
 
  en común, los tres puntos estarían alineados.
  Así, podemos tomar 
-\begin_inset Formula $\{O\}\mid =m\cap m'$
+\begin_inset Formula $\{O\}\coloneqq m\cap m'$
 \end_inset
 
  y entonces 
@@ -1480,7 +1480,7 @@ vértices
 semidistancia focal
 \series default
  a 
-\begin_inset Formula $c:=\Vert\overrightarrow{OF}\Vert$
+\begin_inset Formula $c\coloneqq \Vert\overrightarrow{OF}\Vert$
 \end_inset
 
 , 
@@ -1496,7 +1496,7 @@ distancia focal
 semieje principal
 \series default
  a 
-\begin_inset Formula $a:=\Vert\overrightarrow{OA}\Vert$
+\begin_inset Formula $a\coloneqq \Vert\overrightarrow{OA}\Vert$
 \end_inset
 
  y 
@@ -1504,7 +1504,7 @@ semieje principal
 semieje secundario
 \series default
  a 
-\begin_inset Formula $b:=\Vert\overrightarrow{OB}\Vert$
+\begin_inset Formula $b\coloneqq \Vert\overrightarrow{OB}\Vert$
 \end_inset
 
 .
@@ -1549,7 +1549,7 @@ Llamamos
 excentricidad
 \series default
  de la elipse a 
-\begin_inset Formula $\epsilon:=\frac{c}{a}$
+\begin_inset Formula $\epsilon\coloneqq \frac{c}{a}$
 \end_inset
 
 , y tenemos que 
@@ -1692,7 +1692,7 @@ Demostración:
 
  no está en la elipse.
  Sea 
-\begin_inset Formula $G:=s_{\ell}(F)$
+\begin_inset Formula $G\coloneqq s_{\ell}(F)$
 \end_inset
 
  (el simétrico), entonces 
@@ -1834,7 +1834,7 @@ vértices
 semidistancia focal
 \series default
  a 
-\begin_inset Formula $c:=\Vert\overrightarrow{OF}\Vert$
+\begin_inset Formula $c\coloneqq \Vert\overrightarrow{OF}\Vert$
 \end_inset
 
 , 
@@ -1850,7 +1850,7 @@ distancia focal
 semieje principal
 \series default
  a 
-\begin_inset Formula $a:=\Vert\overrightarrow{OA}\Vert$
+\begin_inset Formula $a\coloneqq \Vert\overrightarrow{OA}\Vert$
 \end_inset
 
  y 
@@ -1858,7 +1858,7 @@ semieje principal
 semieje secundario
 \series default
  a 
-\begin_inset Formula $b:=\sqrt{c^{2}-a^{2}}$
+\begin_inset Formula $b\coloneqq \sqrt{c^{2}-a^{2}}$
 \end_inset
 
 .
@@ -1876,7 +1876,7 @@ equilátera
 excentricidad
 \series default
  a 
-\begin_inset Formula $\epsilon:=\frac{c}{a}>1$
+\begin_inset Formula $\epsilon\coloneqq \frac{c}{a}>1$
 \end_inset
 
 , y tenemos que 
@@ -2124,11 +2124,11 @@ Si
 \end_inset
 
 , el punto 
-\begin_inset Formula $P:=(a\cosh t,b\sinh t)\in{\cal H}$
+\begin_inset Formula $P\coloneqq (a\cosh t,b\sinh t)\in{\cal H}$
 \end_inset
 
  está en la misma abscisa que 
-\begin_inset Formula $Q:=(a\cosh t,b\cosh t)\in\ell$
+\begin_inset Formula $Q\coloneqq (a\cosh t,b\cosh t)\in\ell$
 \end_inset
 
 , con lo que 
@@ -2239,7 +2239,7 @@ Si
 \end_inset
 
  definida por 
-\begin_inset Formula $h(t):=d((a\cosh t,b\sinh t),\ell)$
+\begin_inset Formula $h(t)\coloneqq d((a\cosh t,b\sinh t),\ell)$
 \end_inset
 
 , debería haber un 
@@ -2267,7 +2267,7 @@ Si
 \end_inset
 
  como 
-\begin_inset Formula $g_{c}(t):=d((a\cosh c,b\sinh c),mt+n)$
+\begin_inset Formula $g_{c}(t)\coloneqq d((a\cosh c,b\sinh c),mt+n)$
 \end_inset
 
 , por el mismo argumento existiría un 
@@ -2309,7 +2309,7 @@ hemisferio norte
 \end_inset
 
  como 
-\begin_inset Formula $f(x):=mx+n-\frac{b}{a}\sqrt{x^{2}-a^{2}}$
+\begin_inset Formula $f(x)\coloneqq mx+n-\frac{b}{a}\sqrt{x^{2}-a^{2}}$
 \end_inset
 
 , tenemos que 
@@ -2360,7 +2360,7 @@ hemisferio norte
 
 .
  El hemisferio sur se hace de forma análoga, tomando 
-\begin_inset Formula $\hat{f}(x):=mx+n+\frac{b}{a}\sqrt{x^{2}-a^{2}}$
+\begin_inset Formula $\hat{f}(x)\coloneqq mx+n+\frac{b}{a}\sqrt{x^{2}-a^{2}}$
 \end_inset
 
 , y las condiciones que deben cumplir 
@@ -2413,7 +2413,7 @@ Demostración
 \end_inset
 
  dicha recta y 
-\begin_inset Formula $E:=s_{\ell}(F)$
+\begin_inset Formula $E\coloneqq s_{\ell}(F)$
 \end_inset
 
 , se tiene que 
@@ -2464,7 +2464,7 @@ status open
 \begin_layout Plain Layout
  Para ello vemos que la hipérbola divide al plano en 3 regiones abiertas
  conexas y definimos 
-\begin_inset Formula $f(Q):=\Vert\overrightarrow{QF}\Vert-\Vert\overrightarrow{QF'}\Vert$
+\begin_inset Formula $f(Q)\coloneqq \Vert\overrightarrow{QF}\Vert-\Vert\overrightarrow{QF'}\Vert$
 \end_inset
 
 .
@@ -2916,7 +2916,7 @@ directriz del foco
 \end_inset
 
  y a 
-\begin_inset Formula $p:=d(F,\ell)$
+\begin_inset Formula $p\coloneqq d(F,\ell)$
 \end_inset
 
  el 
@@ -3006,7 +3006,7 @@ Si
 \end_inset
 
 , nos queda 
-\begin_inset Formula $y^{2}-2px+p^{2}=0\iff y^{2}=2p(x-\frac{p}{2})\stackrel[y':=y]{x':=x-\frac{p}{2}}{\implies}y'^{2}=2px'$
+\begin_inset Formula $y^{2}-2px+p^{2}=0\iff y^{2}=2p(x-\frac{p}{2})\stackrel[y'\coloneqq y]{x'\coloneqq x-\frac{p}{2}}{\implies}y'^{2}=2px'$
 \end_inset
 
 .
@@ -3106,11 +3106,11 @@ Si
 \end_inset
 
  y 
-\begin_inset Formula $Q:=(p,p\epsilon)$
+\begin_inset Formula $Q\coloneqq (p,p\epsilon)$
 \end_inset
 
 , 
-\begin_inset Formula $\lambda:=d(F,Q)=p\epsilon$
+\begin_inset Formula $\lambda\coloneqq d(F,Q)=p\epsilon$
 \end_inset
 
 , se llama 
@@ -3139,19 +3139,19 @@ semilado recto
 \end_inset
 
  con 
-\begin_inset Formula $k:=\frac{\epsilon}{\sqrt{u^{2}+v^{2}}}$
+\begin_inset Formula $k\coloneqq \frac{\epsilon}{\sqrt{u^{2}+v^{2}}}$
 \end_inset
 
 , 
-\begin_inset Formula $l:=ku$
+\begin_inset Formula $l\coloneqq ku$
 \end_inset
 
 , 
-\begin_inset Formula $m:=kv$
+\begin_inset Formula $m\coloneqq kv$
 \end_inset
 
  y 
-\begin_inset Formula $n:=kw$
+\begin_inset Formula $n\coloneqq kw$
 \end_inset
 
 , la 
diff --git a/aalg/n2.lyx b/aalg/n2.lyx
index d6c0241..7fbd7ef 100644
--- a/aalg/n2.lyx
+++ b/aalg/n2.lyx
@@ -252,11 +252,11 @@ Para cambiar coordenadas entre dos referenciales
 \end_inset
 
 , si llamamos 
-\begin_inset Formula $X_{0}:=[O]_{\Re'}=[\overrightarrow{O'O}]_{{\cal B}'}$
+\begin_inset Formula $X_{0}\coloneqq [O]_{\Re'}=[\overrightarrow{O'O}]_{{\cal B}'}$
 \end_inset
 
  y 
-\begin_inset Formula $M:=M_{{\cal B}'{\cal B}}$
+\begin_inset Formula $M\coloneqq M_{{\cal B}'{\cal B}}$
 \end_inset
 
 , se tiene que:
@@ -371,7 +371,7 @@ característico
 \end_layout
 
 \begin_layout Standard
-\begin_inset Formula $P_{f}(x):=\det(xId-f)$
+\begin_inset Formula $P_{f}(x)\coloneqq \det(xId-f)$
 \end_inset
 
  es el 
@@ -387,7 +387,7 @@ polinomio característico
 
 \series default
 , y 
-\begin_inset Formula $P_{A}(x):=\det(xI_{n}-A)$
+\begin_inset Formula $P_{A}(x)\coloneqq \det(xI_{n}-A)$
 \end_inset
 
  es el polinomio característico de 
@@ -756,7 +756,7 @@ Este cambio es solo vectorial, pues no modifica el origen de coordenadas,
 
 , se trata de un giro.
  Para la segunda reducción, sea 
-\begin_inset Formula $\delta:=\lambda_{1}\lambda_{2}$
+\begin_inset Formula $\delta\coloneqq \lambda_{1}\lambda_{2}$
 \end_inset
 
 :
@@ -999,15 +999,15 @@ Dada una cónica con matriz proyectiva
 \end_inset
 
 , las cantidades 
-\begin_inset Formula $\Delta:=|\overline{A}|$
+\begin_inset Formula $\Delta\coloneqq |\overline{A}|$
 \end_inset
 
 , 
-\begin_inset Formula $\delta:=|A|$
+\begin_inset Formula $\delta\coloneqq |A|$
 \end_inset
 
  y 
-\begin_inset Formula $s:=\text{tr}(A)$
+\begin_inset Formula $s\coloneqq \text{tr}(A)$
 \end_inset
 
 , llamadas 
diff --git a/aalg/n3.lyx b/aalg/n3.lyx
index a6df369..e46d38f 100644
--- a/aalg/n3.lyx
+++ b/aalg/n3.lyx
@@ -181,11 +181,11 @@ paralelas
 \end_inset
 
 , definimos el plano afín 
-\begin_inset Formula $\mathbb{A}(V):=({\cal P}(V),{\cal L}(V),\in)$
+\begin_inset Formula $\mathbb{A}(V)\coloneqq ({\cal P}(V),{\cal L}(V),\in)$
 \end_inset
 
  con 
-\begin_inset Formula ${\cal P}(V):=V$
+\begin_inset Formula ${\cal P}(V)\coloneqq V$
 \end_inset
 
  y 
@@ -193,7 +193,7 @@ paralelas
 \end_inset
 
 , y escribimos 
-\begin_inset Formula $\mathbb{A}^{n}(\mathbb{K}):=\mathbb{A}(\mathbb{K}^{n})$
+\begin_inset Formula $\mathbb{A}^{n}(\mathbb{K})\coloneqq \mathbb{A}(\mathbb{K}^{n})$
 \end_inset
 
 .
@@ -266,11 +266,11 @@ El
 principio de dualidad para planos proyectivos
 \series default
  afirma que si 
-\begin_inset Formula $\pi:=({\cal P},{\cal L},\epsilon)$
+\begin_inset Formula $\pi\coloneqq ({\cal P},{\cal L},\epsilon)$
 \end_inset
 
  es un plano proyectivo entonces 
-\begin_inset Formula $\pi^{*}:=({\cal L},{\cal P},\epsilon^{*})$
+\begin_inset Formula $\pi^{*}\coloneqq ({\cal L},{\cal P},\epsilon^{*})$
 \end_inset
 
  con 
@@ -330,15 +330,15 @@ principio de dualidad para planos proyectivos
  punto distinto a este para aplicar el axioma 1.
  Por tanto los 3 puntos son distintos.
  Sean ahora 
-\begin_inset Formula $\ell:=QR$
+\begin_inset Formula $\ell\coloneqq QR$
 \end_inset
 
 , 
-\begin_inset Formula $m:=RS$
+\begin_inset Formula $m\coloneqq RS$
 \end_inset
 
  y 
-\begin_inset Formula $n:=SQ$
+\begin_inset Formula $n\coloneqq SQ$
 \end_inset
 
  (aplicando el axioma 1).
@@ -460,15 +460,15 @@ principio de dualidad para planos proyectivos
 
 ).
  Por tanto, 
-\begin_inset Formula $\ell:=PQ$
+\begin_inset Formula $\ell\coloneqq PQ$
 \end_inset
 
 , 
-\begin_inset Formula $m:=PT$
+\begin_inset Formula $m\coloneqq PT$
 \end_inset
 
  y 
-\begin_inset Formula $n:=PR$
+\begin_inset Formula $n\coloneqq PR$
 \end_inset
 
  cumplen las condiciones.
@@ -566,7 +566,7 @@ Dada una recta
 \end_inset
 
  tal que 
-\begin_inset Formula $f'(\ell):=\overline{f(P)f(Q)}$
+\begin_inset Formula $f'(\ell)\coloneqq \overline{f(P)f(Q)}$
 \end_inset
 
 .
@@ -609,7 +609,7 @@ Dada una recta
 
 .
  Sean 
-\begin_inset Formula $\ell:=\overline{PQ}$
+\begin_inset Formula $\ell\coloneqq \overline{PQ}$
 \end_inset
 
  y 
@@ -641,7 +641,7 @@ Construcción de
 
 \begin_layout Standard
 Si en el espacio afín 
-\begin_inset Formula $\mathbb{A}:=\mathbb{A}(W)$
+\begin_inset Formula $\mathbb{A}\coloneqq \mathbb{A}(W)$
 \end_inset
 
  para cierto espacio vectorial 
@@ -653,15 +653,15 @@ Si en el espacio afín
 \end_inset
 
 , entonces 
-\begin_inset Formula $\overline{\mathbb{A}}:=({\cal P}',{\cal L}',\in)$
+\begin_inset Formula $\overline{\mathbb{A}}\coloneqq ({\cal P}',{\cal L}',\in)$
 \end_inset
 
  con 
-\begin_inset Formula ${\cal P}':={\cal P}\cup({\cal L}/\sim)$
+\begin_inset Formula ${\cal P}'\coloneqq {\cal P}\cup({\cal L}/\sim)$
 \end_inset
 
  y 
-\begin_inset Formula ${\cal L}':=\{\ell\cup\{[\ell]\}\}_{\ell\in{\cal L}}\cup\{{\cal L}/\sim\}$
+\begin_inset Formula ${\cal L}'\coloneqq \{\ell\cup\{[\ell]\}\}_{\ell\in{\cal L}}\cup\{{\cal L}/\sim\}$
 \end_inset
 
  es un plano proyectivo al que llamamos 
@@ -695,7 +695,7 @@ puntos del infinito
 rectas extendidas
 \series default
  a las 
-\begin_inset Formula $\overline{\ell}:=\ell\cup\{[\ell]\}$
+\begin_inset Formula $\overline{\ell}\coloneqq \ell\cup\{[\ell]\}$
 \end_inset
 
  y 
@@ -703,7 +703,7 @@ rectas extendidas
 recta del infinito
 \series default
  a 
-\begin_inset Formula $\ell_{\infty}:={\cal L}/\sim$
+\begin_inset Formula $\ell_{\infty}\coloneqq {\cal L}/\sim$
 \end_inset
 
 .
@@ -719,11 +719,11 @@ Dado el
 \end_inset
 
 , si 
-\begin_inset Formula ${\cal P}(W):=\{\text{rectas vectoriales de }W\}$
+\begin_inset Formula ${\cal P}(W)\coloneqq \{\text{rectas vectoriales de }W\}$
 \end_inset
 
  y 
-\begin_inset Formula ${\cal L}(W):=\{\text{planos vectoriales de }W\}$
+\begin_inset Formula ${\cal L}(W)\coloneqq \{\text{planos vectoriales de }W\}$
 \end_inset
 
 , entonces 
@@ -740,7 +740,7 @@ plano proyectivo en
 
 \series default
  a 
-\begin_inset Formula $\mathbb{P}^{2}(\mathbb{K}):=({\cal P}(\mathbb{K}^{3}),{\cal L}(\mathbb{K}^{3}),\subseteq)$
+\begin_inset Formula $\mathbb{P}^{2}(\mathbb{K})\coloneqq ({\cal P}(\mathbb{K}^{3}),{\cal L}(\mathbb{K}^{3}),\subseteq)$
 \end_inset
 
 .
@@ -849,7 +849,7 @@ Dado un
 Demostración:
 \series default
  Sea 
-\begin_inset Formula ${\cal P}:=W\cup\{[\ell]\}_{\ell\text{ recta afín de }W}$
+\begin_inset Formula ${\cal P}\coloneqq W\cup\{[\ell]\}_{\ell\text{ recta afín de }W}$
 \end_inset
 
  el conjunto de puntos de 
@@ -857,7 +857,7 @@ Demostración:
 \end_inset
 
  y 
-\begin_inset Formula ${\cal P}':=\{\text{rectas vectoriales de }W\times\mathbb{K}\}$
+\begin_inset Formula ${\cal P}'\coloneqq \{\text{rectas vectoriales de }W\times\mathbb{K}\}$
 \end_inset
 
  el conjunto de puntos de 
@@ -1049,7 +1049,7 @@ referencial proyectivo
 \end_inset
 
  es una cuaterna 
-\begin_inset Formula ${\cal R}:=(P,Q,R,U)$
+\begin_inset Formula ${\cal R}\coloneqq (P,Q,R,U)$
 \end_inset
 
  de puntos tales que tres puntos cualesquiera de ellos son independientes.
@@ -1061,7 +1061,7 @@ Todo referencial proyectivo de
 \end_inset
 
  admite una base 
-\begin_inset Formula ${\cal B}:=(v_{1},v_{2},v_{3})$
+\begin_inset Formula ${\cal B}\coloneqq (v_{1},v_{2},v_{3})$
 \end_inset
 
  de 
@@ -1141,7 +1141,7 @@ Demostración:
 \end_inset
 
  con 
-\begin_inset Formula $u:=\alpha_{1}u_{1}+\alpha_{2}u_{2}+\alpha_{3}u_{3}$
+\begin_inset Formula $u\coloneqq \alpha_{1}u_{1}+\alpha_{2}u_{2}+\alpha_{3}u_{3}$
 \end_inset
 
  con 
@@ -1150,7 +1150,7 @@ Demostración:
 
 .
  Entonces hacemos 
-\begin_inset Formula $v_{i}:=\alpha_{i}u_{i}$
+\begin_inset Formula $v_{i}\coloneqq \alpha_{i}u_{i}$
 \end_inset
 
  para 
@@ -1282,7 +1282,7 @@ da al referencial
 \end_inset
 
  (
-\begin_inset Formula $P:=[x,y,z]$
+\begin_inset Formula $P\coloneqq [x,y,z]$
 \end_inset
 
 ) si 
@@ -1337,15 +1337,15 @@ Llamamos
 
 .
  Las rectas 
-\begin_inset Formula $\ell:=[a_{1},b_{1},c_{1}]^{*}$
+\begin_inset Formula $\ell\coloneqq [a_{1},b_{1},c_{1}]^{*}$
 \end_inset
 
 , 
-\begin_inset Formula $m:=[a_{2},b_{2},c_{2}]^{*}$
+\begin_inset Formula $m\coloneqq [a_{2},b_{2},c_{2}]^{*}$
 \end_inset
 
  y 
-\begin_inset Formula $n:=[a_{3},b_{3},c_{3}]^{*}$
+\begin_inset Formula $n\coloneqq [a_{3},b_{3},c_{3}]^{*}$
 \end_inset
 
  son 
@@ -1533,19 +1533,19 @@ Un plano proyectivo
 
  Probemos el teorema de Desargues.
  Sean 
-\begin_inset Formula $O:=[\vec{o}]$
+\begin_inset Formula $O\coloneqq [\vec{o}]$
 \end_inset
 
  el punto de corte entre las tres rectas, 
-\begin_inset Formula $A:=[\vec{a}]$
+\begin_inset Formula $A\coloneqq [\vec{a}]$
 \end_inset
 
 , 
-\begin_inset Formula $B:=[\vec{b}]$
+\begin_inset Formula $B\coloneqq [\vec{b}]$
 \end_inset
 
  y 
-\begin_inset Formula $C:=[\vec{c}]$
+\begin_inset Formula $C\coloneqq [\vec{c}]$
 \end_inset
 
  con 
@@ -1620,7 +1620,7 @@ Un plano proyectivo
 \end_inset
 
 Para el teorema de Pappus, consideremos la referencia proyectiva 
-\begin_inset Formula ${\cal R}:=(A',A,B,B')$
+\begin_inset Formula ${\cal R}\coloneqq (A',A,B,B')$
 \end_inset
 
 , con lo que 
@@ -1814,7 +1814,7 @@ Dado
 \end_inset
 
 Si 
-\begin_inset Formula $f(x_{1},\dots,x_{n}):=\sum_{i=1}^{k}\prod_{j=1}^{d_{i}}x_{a_{ij}}$
+\begin_inset Formula $f(x_{1},\dots,x_{n})\coloneqq \sum_{i=1}^{k}\prod_{j=1}^{d_{i}}x_{a_{ij}}$
 \end_inset
 
 , entonces 
@@ -1858,7 +1858,7 @@ Dado
 \end_inset
 
 Si 
-\begin_inset Formula $F(x_{1},\dots,x_{n+1}):=\sum_{i=1}^{k}x_{n+1}^{b_{i}}\prod_{j=1}^{d-b_{i}}x_{a_{ij}}$
+\begin_inset Formula $F(x_{1},\dots,x_{n+1})\coloneqq \sum_{i=1}^{k}x_{n+1}^{b_{i}}\prod_{j=1}^{d-b_{i}}x_{a_{ij}}$
 \end_inset
 
 , entonces 
@@ -1883,7 +1883,7 @@ Sean
 \end_inset
 
  y 
-\begin_inset Formula ${\cal L}:=\{(x,y)\in\mathbb{A}^{2}(\mathbb{K})\mid f(x,y)=0\}$
+\begin_inset Formula ${\cal L}\coloneqq \{(x,y)\in\mathbb{A}^{2}(\mathbb{K})\mid f(x,y)=0\}$
 \end_inset
 
 , llamamos 
@@ -1899,7 +1899,7 @@ completación proyectiva
 \end_inset
 
  a 
-\begin_inset Formula $\overline{{\cal L}}:=\{<(x,y,z)>\in\mathbb{P}^{2}(\mathbb{K})\mid f^{*}(x,y,z)=0\}$
+\begin_inset Formula $\overline{{\cal L}}\coloneqq \{<(x,y,z)>\in\mathbb{P}^{2}(\mathbb{K})\mid f^{*}(x,y,z)=0\}$
 \end_inset
 
 , y para 
@@ -1915,7 +1915,7 @@ parte afín
 \end_inset
 
  es 
-\begin_inset Formula $\hat{{\cal L}}^{\text{afín}}:=\{(x,y)\in\mathbb{A}^{2}(\mathbb{K})\mid <(x,y,1)>\in\hat{{\cal L}}\}$
+\begin_inset Formula $\hat{{\cal L}}^{\text{afín}}\coloneqq \{(x,y)\in\mathbb{A}^{2}(\mathbb{K})\mid <(x,y,1)>\in\hat{{\cal L}}\}$
 \end_inset
 
 .
@@ -1924,7 +1924,7 @@ parte afín
 \end_inset
 
  homogéneo y 
-\begin_inset Formula $\hat{{\cal L}}:=\{F(x,y,z)=0\}$
+\begin_inset Formula $\hat{{\cal L}}\coloneqq \{F(x,y,z)=0\}$
 \end_inset
 
 , 
diff --git a/aalg/n4.lyx b/aalg/n4.lyx
index 96b456a..c6a789e 100644
--- a/aalg/n4.lyx
+++ b/aalg/n4.lyx
@@ -202,7 +202,7 @@ Sean
 \end_inset
 
  y 
-\begin_inset Formula $A:=(a_{ij}:=\langle e_{i},e_{j}\rangle)\in{\cal M}_{n}(\mathbb{K})$
+\begin_inset Formula $A\coloneqq (a_{ij}\coloneqq \langle e_{i},e_{j}\rangle)\in{\cal M}_{n}(\mathbb{K})$
 \end_inset
 
 , entonces si 
@@ -277,7 +277,7 @@ forma cuadrática
 \end_inset
 
  dada por 
-\begin_inset Formula $\langle u,v\rangle:=\frac{1}{2}(q(u+v)-q(u)-q(v))$
+\begin_inset Formula $\langle u,v\rangle\coloneqq \frac{1}{2}(q(u+v)-q(u)-q(v))$
 \end_inset
 
  es una forma bilineal simétrica en 
@@ -315,7 +315,7 @@ Llamamos
 
  que asocia a cada forma cuadrática su forma polar es biyectiva y su inversa
  asocia a cada forma bilineal simétrica la forma cuadrática dada por 
-\begin_inset Formula $q(u):=\langle u,u\rangle$
+\begin_inset Formula $q(u)\coloneqq \langle u,u\rangle$
 \end_inset
 
 .
@@ -328,7 +328,7 @@ Demostración:
 \end_inset
 
  y 
-\begin_inset Formula $q(u):=\langle u,u\rangle$
+\begin_inset Formula $q(u)\coloneqq \langle u,u\rangle$
 \end_inset
 
 , es claro que 
@@ -369,7 +369,7 @@ Sean ahora
 
 \begin_layout Standard
 Esta correspondencia permite asociar una matriz 
-\begin_inset Formula $A:=(a_{ij})\in{\cal M}_{n}(\mathbb{K})$
+\begin_inset Formula $A\coloneqq (a_{ij})\in{\cal M}_{n}(\mathbb{K})$
 \end_inset
 
  a una forma cuadrática 
@@ -409,11 +409,11 @@ Sean
 \end_inset
 
  un espacio bilineal, 
-\begin_inset Formula ${\cal C}:=(u_{1},\dots,u_{n})$
+\begin_inset Formula ${\cal C}\coloneqq (u_{1},\dots,u_{n})$
 \end_inset
 
  y 
-\begin_inset Formula ${\cal B}:=(v_{1},\dots,v_{n})$
+\begin_inset Formula ${\cal B}\coloneqq (v_{1},\dots,v_{n})$
 \end_inset
 
  bases de 
@@ -425,11 +425,11 @@ Sean
 \end_inset
 
  tiene matrices respectivas 
-\begin_inset Formula $A:=(a_{ij})$
+\begin_inset Formula $A\coloneqq (a_{ij})$
 \end_inset
 
  y 
-\begin_inset Formula $B:=(b_{ij})$
+\begin_inset Formula $B\coloneqq (b_{ij})$
 \end_inset
 
 , 
@@ -751,7 +751,7 @@ A\sim A'\iff\langle\cdot\rangle\sim\langle\cdot\rangle'\iff(V,\langle\cdot\rangl
 \end_inset
 
  tienen la misma matriz asociada 
-\begin_inset Formula $C:=(c_{ij})$
+\begin_inset Formula $C\coloneqq (c_{ij})$
 \end_inset
 
 , entonces 
@@ -775,11 +775,11 @@ A\sim A'\iff\langle\cdot\rangle\sim\langle\cdot\rangle'\iff(V,\langle\cdot\rangl
 \end_inset
 
  una isometría y 
-\begin_inset Formula ${\cal B}:=(v_{1},\dots,v_{n})$
+\begin_inset Formula ${\cal B}\coloneqq (v_{1},\dots,v_{n})$
 \end_inset
 
 , entonces 
-\begin_inset Formula ${\cal B}':=(f(v_{1}),\dots,f(v_{n}))$
+\begin_inset Formula ${\cal B}'\coloneqq (f(v_{1}),\dots,f(v_{n}))$
 \end_inset
 
  es una base de 
@@ -791,7 +791,7 @@ A\sim A'\iff\langle\cdot\rangle\sim\langle\cdot\rangle'\iff(V,\langle\cdot\rangl
 \end_inset
 
 , ambas formas bilineales tienen la misma matriz 
-\begin_inset Formula $C:=(c_{ij})$
+\begin_inset Formula $C\coloneqq (c_{ij})$
 \end_inset
 
 , y entonces 
@@ -827,7 +827,7 @@ subespacio ortogonal
 \end_inset
 
  al subespacio 
-\begin_inset Formula $E^{\bot}:=\{v\in V\mid \forall e\in E,\langle v,e\rangle=0\}$
+\begin_inset Formula $E^{\bot}\coloneqq \{v\in V\mid \forall e\in E,\langle v,e\rangle=0\}$
 \end_inset
 
 .
@@ -865,7 +865,7 @@ radical
 \end_inset
 
  a 
-\begin_inset Formula $Rad(V):=V^{\bot}$
+\begin_inset Formula $Rad(V)\coloneqq V^{\bot}$
 \end_inset
 
 .
@@ -1022,7 +1022,7 @@ Demostración:
 
 .
  Sea 
-\begin_inset Formula ${\cal B}:=(e_{1},\dots,e_{m})$
+\begin_inset Formula ${\cal B}\coloneqq (e_{1},\dots,e_{m})$
 \end_inset
 
  una base de 
@@ -1062,12 +1062,12 @@ x_{m}
 \end_inset
 
 tiene solución única y 
-\begin_inset Formula $x:=\sum x_{i}e_{i}\in E$
+\begin_inset Formula $x\coloneqq \sum x_{i}e_{i}\in E$
 \end_inset
 
 .
  Sea 
-\begin_inset Formula $v:=u-x$
+\begin_inset Formula $v\coloneqq u-x$
 \end_inset
 
 , 
@@ -1147,7 +1147,7 @@ Demostración:
 \end_inset
 
  no isótropo y, si 
-\begin_inset Formula $E:=<e_{1}>$
+\begin_inset Formula $E\coloneqq <e_{1}>$
 \end_inset
 
 , 
@@ -1237,7 +1237,7 @@ Si
 \end_inset
 
 , basta tomar 
-\begin_inset Formula $P:=E_{1}^{t}\cdots E_{k}^{t}$
+\begin_inset Formula $P\coloneqq E_{1}^{t}\cdots E_{k}^{t}$
 \end_inset
 
 .
@@ -1954,11 +1954,11 @@ Reescribir
 \end_inset
 
 Hacer el cambio 
-\begin_inset Formula $x'_{1}:=x_{1}+\frac{p(x_{2},\dots,x_{n})}{2a_{11}}$
+\begin_inset Formula $x'_{1}\coloneqq x_{1}+\frac{p(x_{2},\dots,x_{n})}{2a_{11}}$
 \end_inset
 
  y 
-\begin_inset Formula $x'_{j}:=x_{j},j\neq1$
+\begin_inset Formula $x'_{j}\coloneqq x_{j},j\neq1$
 \end_inset
 
 
@@ -2040,7 +2040,7 @@ Demostración:
 \end_inset
 
  y 
-\begin_inset Formula $U:=V_{(\alpha_{1})}\oplus\dots\oplus V_{(\alpha_{m})}$
+\begin_inset Formula $U\coloneqq V_{(\alpha_{1})}\oplus\dots\oplus V_{(\alpha_{m})}$
 \end_inset
 
 , siendo 
@@ -2165,7 +2165,7 @@ rango
 \end_inset
 
  a 
-\begin_inset Formula $\text{rg}(\langle\cdot\rangle):=\text{rg}(A)=\dim(V)-\dim Rad(\langle\cdot\rangle)$
+\begin_inset Formula $\text{rg}(\langle\cdot\rangle)\coloneqq \text{rg}(A)=\dim(V)-\dim Rad(\langle\cdot\rangle)$
 \end_inset
 
 .
@@ -2239,7 +2239,7 @@ Demostración:
 \end_inset
 
  con 
-\begin_inset Formula $\lambda:=|P|$
+\begin_inset Formula $\lambda\coloneqq |P|$
 \end_inset
 
 .
@@ -2309,11 +2309,11 @@ Demostración:
 \end_inset
 
  es 
-\begin_inset Formula $D:=\text{diag}(d_{1},\dots,d_{m},0,\dots,0)$
+\begin_inset Formula $D\coloneqq \text{diag}(d_{1},\dots,d_{m},0,\dots,0)$
 \end_inset
 
 , siendo 
-\begin_inset Formula $m:=\text{rg}(\langle\cdot\rangle)$
+\begin_inset Formula $m\coloneqq \text{rg}(\langle\cdot\rangle)$
 \end_inset
 
 , con 
@@ -2434,7 +2434,7 @@ positivos
 
 .
  A los elementos de 
-\begin_inset Formula $-P:=\{-x\}_{x\in P}$
+\begin_inset Formula $-P\coloneqq \{-x\}_{x\in P}$
 \end_inset
 
  los llamamos 
@@ -2568,7 +2568,7 @@ Las mismas definiciones se aplican a una forma cuadrática.
 \end_inset
 
 , 
-\begin_inset Formula $A:=(a_{ij})$
+\begin_inset Formula $A\coloneqq (a_{ij})$
 \end_inset
 
  la matriz de 
@@ -2576,7 +2576,7 @@ Las mismas definiciones se aplican a una forma cuadrática.
 \end_inset
 
  en cierta base 
-\begin_inset Formula ${\cal C}:=(e_{1},\dots,e_{n})$
+\begin_inset Formula ${\cal C}\coloneqq (e_{1},\dots,e_{n})$
 \end_inset
 
  y definimos
@@ -2608,7 +2608,7 @@ a_{21} & a_{22}
 Demostración:
 \series default
  Sea 
-\begin_inset Formula $E:=<e_{1},\dots,e_{n-1}>$
+\begin_inset Formula $E\coloneqq <e_{1},\dots,e_{n-1}>$
 \end_inset
 
 , la matriz de 
@@ -2675,7 +2675,7 @@ Tenemos
 
 .
  Sea 
-\begin_inset Formula $\lambda:=|P|$
+\begin_inset Formula $\lambda\coloneqq |P|$
 \end_inset
 
 , 
@@ -2691,7 +2691,7 @@ Tenemos
 \end_inset
 
  en la base 
-\begin_inset Formula $(e_{1},\dots,e_{n-1},w:=\lambda v)$
+\begin_inset Formula $(e_{1},\dots,e_{n-1},w\coloneqq \lambda v)$
 \end_inset
 
  es como 
@@ -2773,11 +2773,11 @@ teorema de Sylvester
 
  es definida positiva, definida negativa y nula, respectivamente.
  Además, 
-\begin_inset Formula $p:=\dim(V_{+})$
+\begin_inset Formula $p\coloneqq \dim(V_{+})$
 \end_inset
 
  y 
-\begin_inset Formula $m:=\dim(V_{-})$
+\begin_inset Formula $m\coloneqq \dim(V_{-})$
 \end_inset
 
  son únicos, y al par 
@@ -2798,7 +2798,7 @@ signatura
 Demostración:
 \series default
  Sea 
-\begin_inset Formula ${\cal C}:=(e_{1},\dots,e_{n})$
+\begin_inset Formula ${\cal C}\coloneqq (e_{1},\dots,e_{n})$
 \end_inset
 
  una base de 
@@ -3095,7 +3095,7 @@ Si
 \end_inset
 
 , y entonces definimos 
-\begin_inset Formula $t(w):=-w$
+\begin_inset Formula $t(w)\coloneqq -w$
 \end_inset
 
  y vemos que 
@@ -3111,11 +3111,11 @@ Como
 teorema
 \series default
 , si 
-\begin_inset Formula $D_{1}:=\text{diag}(a_{1},\dots,a_{r},b_{r+1},\dots,b_{n})$
+\begin_inset Formula $D_{1}\coloneqq \text{diag}(a_{1},\dots,a_{r},b_{r+1},\dots,b_{n})$
 \end_inset
 
  y 
-\begin_inset Formula $D_{2}:=\text{diag}(a_{1},\dots,a_{r},c_{r+1},\dots,c_{n})$
+\begin_inset Formula $D_{2}\coloneqq \text{diag}(a_{1},\dots,a_{r},c_{r+1},\dots,c_{n})$
 \end_inset
 
  son matrices con 
@@ -3190,7 +3190,7 @@ Demostración:
 \end_inset
 
  y 
-\begin_inset Formula $E:=<s(u_{2}),\dots,s(u_{n})>=<s(u_{1})>^{\bot}=<v_{1}>^{\bot}=<v_{2},\dots,v_{n}>$
+\begin_inset Formula $E\coloneqq <s(u_{2}),\dots,s(u_{n})>=<s(u_{1})>^{\bot}=<v_{1}>^{\bot}=<v_{2},\dots,v_{n}>$
 \end_inset
 
 .
@@ -3309,11 +3309,11 @@ Demostración:
 \end_inset
 
 , si 
-\begin_inset Formula $D_{1}:=\text{diag}(a_{1},\dots,a_{r},b_{r+1},\dots,b_{n})$
+\begin_inset Formula $D_{1}\coloneqq \text{diag}(a_{1},\dots,a_{r},b_{r+1},\dots,b_{n})$
 \end_inset
 
  y 
-\begin_inset Formula $D_{2}:=\text{diag}(a_{1},\dots,a_{r},c_{r+1},\dots,c_{n})$
+\begin_inset Formula $D_{2}\coloneqq \text{diag}(a_{1},\dots,a_{r},c_{r+1},\dots,c_{n})$
 \end_inset
 
  son las matrices de 
@@ -3430,7 +3430,7 @@ Sean
 \end_inset
 
  es una base y 
-\begin_inset Formula $v':=\frac{v}{\langle u,v\rangle}$
+\begin_inset Formula $v'\coloneqq \frac{v}{\langle u,v\rangle}$
 \end_inset
 
 , la matriz de 
@@ -3453,12 +3453,12 @@ A:=\left(\begin{array}{cc}
 \end_inset
 
 con 
-\begin_inset Formula $a:=\langle v',v'\rangle$
+\begin_inset Formula $a\coloneqq \langle v',v'\rangle$
 \end_inset
 
 .
  Sea ahora 
-\begin_inset Formula $w:=xu+v'$
+\begin_inset Formula $w\coloneqq xu+v'$
 \end_inset
 
  tal que 
@@ -3498,7 +3498,7 @@ B:=\left(\begin{array}{cc}
 \end_inset
 
 con 
-\begin_inset Formula $b:=\langle w',w'\rangle$
+\begin_inset Formula $b\coloneqq \langle w',w'\rangle$
 \end_inset
 
 .
@@ -3576,7 +3576,7 @@ Si identificamos los vectores con sus coordenadas respecto a la base en
 \end_inset
 
  es isótropo no nulo y, si hubiera un 
-\begin_inset Formula $v:=(v_{1},v_{2})$
+\begin_inset Formula $v\coloneqq (v_{1},v_{2})$
 \end_inset
 
  con 
@@ -3744,7 +3744,7 @@ Demostración:
 
  es anisótropo.
  Si 
-\begin_inset Formula $n:=\dim(V)\geq2$
+\begin_inset Formula $n\coloneqq \dim(V)\geq2$
 \end_inset
 
  y 
@@ -3827,12 +3827,12 @@ cónica proyectiva
 \end_inset
 
 , o de formas cuadráticas no nulas de dimensión 3, bajo la relación 
-\begin_inset Formula $q\sim q':\iff\exists\lambda\in\mathbb{K}\backslash\{0\}\mid q'=\lambda q$
+\begin_inset Formula $q\sim q':\iff\exists\lambda\in\mathbb{K}\backslash\{0\}:q'=\lambda q$
 \end_inset
 
 .
  Escribimos 
-\begin_inset Formula ${\cal C}_{q}:=[q]$
+\begin_inset Formula ${\cal C}_{q}\coloneqq [q]$
 \end_inset
 
 , y la identificamos con el conjunto de puntos 
@@ -3975,7 +3975,7 @@ recta polar
 \end_inset
 
  a 
-\begin_inset Formula $r_{P}:=\{X\in\mathbb{P}^{2}(\mathbb{K})\mid [P]^{t}\overline{A}[X]=0\}$
+\begin_inset Formula $r_{P}\coloneqq \{X\in\mathbb{P}^{2}(\mathbb{K})\mid [P]^{t}\overline{A}[X]=0\}$
 \end_inset
 
 , y decimos que 
@@ -4035,7 +4035,7 @@ Una cónica es
 no degenerada
 \series default
  si 
-\begin_inset Formula $\Delta:=|\overline{A}|\neq0$
+\begin_inset Formula $\Delta\coloneqq |\overline{A}|\neq0$
 \end_inset
 
 .