Oops

1 files changed, 4 insertions, 4 deletions

diff --git a/algl/n1.lyx b/algl/n1.lyx
index da5b457..967e0e1 100644
--- a/algl/n1.lyx
+++ b/algl/n1.lyx
@@ -178,7 +178,7 @@ opuesto:
 
 .
  
-\begin_inset Formula $-a:=a'$
+\begin_inset Formula $-a\coloneqq a'$
 \end_inset
 
 .
@@ -242,11 +242,11 @@ unidad:
 Inverso para el producto:
 \series default
  
-\begin_inset Formula $\forall a\in K\backslash\{0\},\exists!a''\mid a\cdot a''=1$
+\begin_inset Formula $\forall a\in K\backslash\{0\},\exists!a'':a\cdot a''=1$
 \end_inset
 
 ; 
-\begin_inset Formula $a^{-1}:=\frac{1}{a}:=a''$
+\begin_inset Formula $a^{-1}\coloneqq \frac{1}{a}\coloneqq a''$
 \end_inset
 
 .
@@ -722,7 +722,7 @@ Opuesto para la suma:
 \end_inset
 
 ; 
-\begin_inset Formula $u':=-u$
+\begin_inset Formula $u'\coloneqq -u$
 \end_inset
 
 .