formatting fix

diff --git a/article.tex b/article.tex
index 89d23fe179d9bfc53524f3cfe65fb20d4425f51e..4c5f6751682c83a13e478fdb11d64496abd1bd22 100644 (file)
--- 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.