X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=blobdiff_plain;f=merge.tex;h=44850a5e9ca19ac30ae570bc90149e788707dac7;hb=668c3ab71fef1c59111d808e8011612093eec9a2;hp=465fcba55b4ac0962c881302e4b632a412c59014;hpb=3ca0fff3d7e2f140e888ff286360a19db1828035;p=topbloke-formulae.git

diff --git a/merge.tex b/merge.tex
index 465fcba..44850a5 100644
--- a/merge.tex
+++ b/merge.tex
@@ -47,7 +47,8 @@ satisfied; in particular, provided that $L \ge \baseof{R}$.
     \bigforall_{E \in \pendsof{X}{\py}} E \le Y
    \right]
 }\]
-\[ \eqn{ Suitable Tip }{
+\[ \eqn{ Suitable Tips }{
+    \bigforall_{\p \neq \patchof{L}, \; C \haspatch \p}
     \bigexists_T
       \pendsof{J}{\py} = \{ T \}
      \land