1 files changed, 1 insertions, 1 deletions
diff --git a/aoc/n3.lyx b/aoc/n3.lyx
index 940873f..278feb8 100644
--- a/aoc/n3.lyx
+++ b/aoc/n3.lyx
@@ -1722,7 +1722,7 @@ nodos
 hiperarcos
 \series default
  
-\begin_inset Formula $H\subseteq\{(A,B)\in{\cal P}(V)\times{\cal P}(V):A,B\neq\emptyset\}$
+\begin_inset Formula $H\subseteq\{(A,B)\in{\cal P}(V)\times{\cal P}(V)\mid A,B\neq\emptyset\}$
 \end_inset
 
 .