From 13285d550a2eceb866519b89d1ed3c4894f3db65 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 8 Mar 2012 16:20:50 +0000
Subject: [PATCH] improve merge ends formatting

---
 article.tex | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

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}
-- 
2.30.2