merge: fix and clarify Suitable Tips

[topbloke-formulae.git] / merge.tex

diff --git a/merge.tex b/merge.tex
index 27deb9cee2d289f9e6d45684f40817b4f6cfe2a0..77b67881998e9f7abf30298e8e906cfd0877b28c 100644 (file)
--- a/merge.tex
+++ b/merge.tex
@@ -59,7 +59,7 @@ satisfied; in particular, provided that $L \ge \baseof{R}$.
    \right]
 }\]
 \[ \eqn{ Suitable Tips }{
-    \bigforall_{\p \neq \patchof{L}, \; C \haspatch \p}
+    \bigforall_{\p \patchisin C, \; \py \neq \patchof{L}}
     \bigexists_T
       \pendsof{J}{\py} = \{ T \}
      \land