From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 5 Mar 2012 21:22:05 +0000 (+0000)
Subject: formatting fix
X-Git-Tag: f0.2~147
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=1059b2343f8b2979915db881a067cd3307cdead2;p=topbloke-formulae.git

formatting fix
---

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.