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

---
 si/n2.lyx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'si/n2.lyx')

diff --git a/si/n2.lyx b/si/n2.lyx
index 946c8e4..c9f5390 100644
--- a/si/n2.lyx
+++ b/si/n2.lyx
@@ -269,7 +269,7 @@ Y-O
 \end_inset
 
 , sea 
-\begin_inset Formula $N:=\{S\subseteq V\mid (u,S)\in A\}$
+\begin_inset Formula $N\coloneqq \{S\subseteq V\mid (u,S)\in A\}$
 \end_inset
 
 , 
-- 
cgit v1.2.3