From 1059b2343f8b2979915db881a067cd3307cdead2 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 5 Mar 2012 21:22:05 +0000
Subject: [PATCH] formatting fix

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

diff --git a/article.tex b/article.tex
index 89d23fe..4c5f675 100644
--- a/article.tex
+++ b/article.tex
@@ -248,12 +248,12 @@ by the LHS.  And $A \le A''$.
 \[ \eqn{Calculation Of Ends:}{
   \bigforall_{C \hasparents \set A}
     \pendsof{C}{\set P} =
-       \Bigl\{ E \Big|
+       \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]
-       \Bigr\}
+       \right\}
 }\]
 XXX proof TBD.
 
-- 
2.30.2