From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 8 Mar 2012 16:20:50 +0000 (+0000)
Subject: improve merge ends formatting
X-Git-Tag: f0.2~131
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=13285d550a2eceb866519b89d1ed3c4894f3db65;p=topbloke-formulae.git

improve merge ends formatting
---

diff --git a/article.tex b/article.tex
index 701422d..fac5c82 100644
--- a/article.tex
+++ b/article.tex
@@ -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}