strategy: calculate/use \allsrcs

[topbloke-formulae.git] / merge.tex

diff --git a/merge.tex b/merge.tex
index 54f83daf6fe47e93fd22c8b3fc02fd32b468bd06..b43d30fea899e45b07d47c1aae08d67eb2b7ee2a 100644 (file)
--- a/merge.tex
+++ b/merge.tex
@@ -280,7 +280,7 @@ $\qed$
 
 \subsection{Foreign Inclusion}
 
-Consider some $D$ s.t. $\isforeign{D}$.
+Consider some $D \in \foreign$.
 By Foreign Inclusion of $L, M, R$:
 $D \isin L \equiv D \le L$;
 $D \isin M \equiv D \le M$;