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

---
 ealg/n6.lyx | 28 ++++++++++++++--------------
 1 file changed, 14 insertions(+), 14 deletions(-)

(limited to 'ealg/n6.lyx')

diff --git a/ealg/n6.lyx b/ealg/n6.lyx
index fd441a7..1b95789 100644
--- a/ealg/n6.lyx
+++ b/ealg/n6.lyx
@@ -239,11 +239,11 @@ Demostración:
 \end_inset
 
 , sean 
-\begin_inset Formula $f:=\text{Irr}(\alpha,K)$
+\begin_inset Formula $f\coloneqq \text{Irr}(\alpha,K)$
 \end_inset
 
  y 
-\begin_inset Formula $R:=\{\alpha_{1}\mid =\alpha,\dots,\alpha_{m}\}$
+\begin_inset Formula $R\coloneqq \{\alpha_{1}\coloneqq \alpha,\dots,\alpha_{m}\}$
 \end_inset
 
  el conjunto de las raíces de 
@@ -354,7 +354,7 @@ teorema
 \end_inset
 
  Sean 
-\begin_inset Formula ${\cal P}:=\{f_{\alpha}\mid =\text{Irr}(\alpha,K)\}_{\alpha\in L}\subseteq K[X]\setminus0$
+\begin_inset Formula ${\cal P}\coloneqq \{f_{\alpha}\coloneqq \text{Irr}(\alpha,K)\}_{\alpha\in L}\subseteq K[X]\setminus0$
 \end_inset
 
  y 
@@ -595,7 +595,7 @@ Si
 \end_inset
 
 , sean 
-\begin_inset Formula $f_{\alpha}:=\text{Irr}(\alpha,K)$
+\begin_inset Formula $f_{\alpha}\coloneqq \text{Irr}(\alpha,K)$
 \end_inset
 
  para 
@@ -1129,7 +1129,7 @@ Sean
 \end_inset
 
  y 
-\begin_inset Formula ${\cal P}:=\{\text{Irr}(\alpha,K)\}_{\alpha\in S}$
+\begin_inset Formula ${\cal P}\coloneqq \{\text{Irr}(\alpha,K)\}_{\alpha\in S}$
 \end_inset
 
 , entonces 
@@ -1244,7 +1244,7 @@ Sea
 \end_inset
 
  y 
-\begin_inset Formula $S:=\{\alpha_{1},\dots,\alpha_{n}\}$
+\begin_inset Formula $S\coloneqq \{\alpha_{1},\dots,\alpha_{n}\}$
 \end_inset
 
 , el conjunto 
@@ -1371,7 +1371,7 @@ Sean
 \end_inset
 
  el conjunto de raíces de los 
-\begin_inset Formula $f_{i}:=\text{Irr}(\alpha_{i},K)$
+\begin_inset Formula $f_{i}\coloneqq \text{Irr}(\alpha_{i},K)$
 \end_inset
 
  en 
@@ -1432,7 +1432,7 @@ Sean
 \end_inset
 
 , con lo que 
-\begin_inset Formula $E_{j}:=\overline{\sigma}_{j}(L)$
+\begin_inset Formula $E_{j}\coloneqq \overline{\sigma}_{j}(L)$
 \end_inset
 
  es un subcuerpo de 
@@ -1610,7 +1610,7 @@ Sea
 \end_deeper
 \begin_layout Enumerate
 Si 
-\begin_inset Formula $p:=\text{car}K\neq0$
+\begin_inset Formula $p\coloneqq \text{car}K\neq0$
 \end_inset
 
  y 
@@ -1757,7 +1757,7 @@ status open
 \end_inset
 
 Si 
-\begin_inset Formula $p:=\text{car}K\neq0$
+\begin_inset Formula $p\coloneqq \text{car}K\neq0$
 \end_inset
 
 , 
@@ -1819,11 +1819,11 @@ No todos los polinomios irreducibles son separables.
 \begin_deeper
 \begin_layout Standard
 Sean 
-\begin_inset Formula $K:=\mathbb{Z}_{p}(T)$
+\begin_inset Formula $K\coloneqq \mathbb{Z}_{p}(T)$
 \end_inset
 
  y 
-\begin_inset Formula $f(X):=X^{p}-T\in K[X]$
+\begin_inset Formula $f(X)\coloneqq X^{p}-T\in K[X]$
 \end_inset
 
 , 
@@ -1897,11 +1897,11 @@ Si
 \begin_deeper
 \begin_layout Standard
 Sean 
-\begin_inset Formula $f:=\text{Irr}(\alpha,K)$
+\begin_inset Formula $f\coloneqq \text{Irr}(\alpha,K)$
 \end_inset
 
  y 
-\begin_inset Formula $g:=\text{Irr}(\alpha,F)$
+\begin_inset Formula $g\coloneqq \text{Irr}(\alpha,F)$
 \end_inset
 
 , como 
-- 
cgit v1.2.3