From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 12 Mar 2012 15:34:45 +0000 (+0000)
Subject: fix calculation of ends formula
X-Git-Tag: f0.2~48
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff_plain;h=5fb04f55c2baff10272cea1a9802c6bfe854c175

fix calculation of ends formula
---

diff --git a/article.tex b/article.tex
index a57bbec..b48a31e 100644
--- 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}
 }\]