improve merge ends formatting

[topbloke-formulae.git] / article.tex

diff --git a/article.tex b/article.tex
index 701422d9c0157c5b2ad0158bb16ba1fb6beddadb..fac5c82efd6483ac6cc865cbd2db836f2d29d81e 100644 (file)
--- 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}