chiark / gitweb /
improve merge ends formatting
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 8 Mar 2012 16:20:50 +0000 (16:20 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 8 Mar 2012 16:20:50 +0000 (16:20 +0000)
article.tex

index 701422d..fac5c82 100644 (file)
@@ -490,10 +490,11 @@ We will occasionally use $X,Y$ s.t. $\{X,Y\} = \{L,R\}$.
 }\]
 \[ \eqn{ Merge Ends }{
     X \not\haspatch \p \land
-    Y \haspatch \p \land
-    E \in \pendsof{X}{\py}
-  \implies
+    Y \haspatch \p
+  \implies \left[
+  \bigforall_{E \in \pendsof{X}{\py}}
     E \le Y
+  \right]
 }\]
 
 \subsection{No Replay}