From 5fb04f55c2baff10272cea1a9802c6bfe854c175 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 12 Mar 2012 15:34:45 +0000
Subject: [PATCH] fix calculation of ends formula

---
 article.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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}
 }\]
-- 
2.30.2