From 01bce0e148dfb9d8d318605c49d622b545ea7c0a Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 10 Aug 2013 20:07:04 +0100
Subject: [PATCH] merge: fix and clarify Suitable Tips

---
 merge.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/merge.tex b/merge.tex
index 27deb9c..77b6788 100644
--- a/merge.tex
+++ b/merge.tex
@@ -59,7 +59,7 @@ satisfied; in particular, provided that $L \ge \baseof{R}$.
    \right]
 }\]
 \[ \eqn{ Suitable Tips }{
-    \bigforall_{\p \neq \patchof{L}, \; C \haspatch \p}
+    \bigforall_{\p \patchisin C, \; \py \neq \patchof{L}}
     \bigexists_T
       \pendsof{J}{\py} = \{ T \}
      \land
-- 
2.30.2