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

---
 algl/n1.lyx | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'algl/n1.lyx')

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
 
 .
-- 
cgit v1.2.3