fix calculation of ends formula

[topbloke-formulae.git] / article.tex

diff --git a/article.tex b/article.tex
index a57bbec868dc202f99c959e68d802c566573a906..b48a31ec886c201d1ecd4653d26b6bdbfddd3866 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -305,8 +305,8 @@ by the LHS.  And $A \le A''$.
        \left\{ E \Big|
            \Bigl[ \Largeexists_{A \in \set A}
                        E \in \pendsof{A}{\set P} \Bigr] \land
-           \Bigl[ \Largenexists_{B \in \set A}
-                       E \neq B \land E \le B \Bigr]
+           \Bigl[ \Largenexists_{B \in \set A, F \in \pendsof{B}{\p}}
+                       E \neq F \land E \le F \Bigr]
        \right\}
       \end{cases}
 }\]