aboutsummaryrefslogtreecommitdiff
path: root/si/n2.lyx
diff options
context:
space:
mode:
authorJuan Marin Noguera <juan@mnpi.eu>2022-12-04 22:49:17 +0100
committerJuan Marin Noguera <juan@mnpi.eu>2022-12-04 22:49:17 +0100
commitc34b47089a133e58032fe4ea52f61efacaf5f548 (patch)
tree4242772e26a9e7b6f7e02b1d1e00dfbe68981345 /si/n2.lyx
parent214b20d1614b09cd5c18e111df0f0d392af2e721 (diff)
Oops
Diffstat (limited to 'si/n2.lyx')
-rw-r--r--si/n2.lyx2
1 files changed, 1 insertions, 1 deletions
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
,