chiark / gitweb /
fix calculation of ends formula
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 12 Mar 2012 15:34:45 +0000 (15:34 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 12 Mar 2012 15:34:45 +0000 (15:34 +0000)
article.tex

index a57bbec..b48a31e 100644 (file)
@@ -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}
 }\]