chiark / gitweb /
fixes: correct suitable tips
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 May 2012 22:08:53 +0000 (23:08 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 27 May 2012 22:08:53 +0000 (23:08 +0100)
merge.tex

index 465fcba..44850a5 100644 (file)
--- 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