chiark / gitweb /
pseudomerge: new Ingredients condition
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 13:04:47 +0000 (14:04 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 13:04:47 +0000 (14:04 +0100)
pseudomerge.tex

index 8c7bc56..24c05ae 100644 (file)
@@ -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