Oops

1 files changed, 1 insertions, 1 deletions

diff --git a/cyn/n8.lyx b/cyn/n8.lyx
index b4589b3..1249714 100644
--- a/cyn/n8.lyx
+++ b/cyn/n8.lyx
@@ -453,7 +453,7 @@ divisor
 \end_layout
 
 \begin_layout Enumerate
-\begin_inset Formula $A|B\land B|A\implies\exists\mu\in K\backslash\{0\}\mid A=\mu B$
+\begin_inset Formula $A|B\land B|A\implies\exists\mu\in K\backslash\{0\}:A=\mu B$
 \end_inset
 
 .