From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 10 Aug 2013 13:04:47 +0000 (+0100)
Subject: pseudomerge: new Ingredients condition
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff_plain;h=c3b1d7b775527e0ceb1c9a2443cc7e7cc5fed2ef

pseudomerge: new Ingredients condition
---

diff --git a/pseudomerge.tex b/pseudomerge.tex
index 8c7bc56..24c05ae 100644
--- a/pseudomerge.tex
+++ b/pseudomerge.tex
@@ -18,6 +18,15 @@ but whose contents are exactly those of $L$.
  L \in \pn
 }\]
 
+\[ \eqn{ Ingredients }{
+ \bigforall_{R \in \set R}
+    R \in \pn
+     \lor
+    R \in \foreign
+     \lor
+    R \in \pqy
+}\]
+
 \[ \eqn{ Unique Tips }{
  C \haspatch \p \implies
   \bigexists_T