chiark / gitweb /
formatting fix
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 5 Mar 2012 21:22:05 +0000 (21:22 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 5 Mar 2012 21:22:05 +0000 (21:22 +0000)
article.tex

index 89d23fe..4c5f675 100644 (file)
@@ -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.