X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=blobdiff_plain;f=merge.tex;h=b43d30fea899e45b07d47c1aae08d67eb2b7ee2a;hb=2621bc3962d0f9a3d12b2318aeb3f425fe6a28c7;hp=54f83daf6fe47e93fd22c8b3fc02fd32b468bd06;hpb=28bb86cd8218c491ad4fe845c4547af57b1aecb4;p=topbloke-formulae.git

diff --git a/merge.tex b/merge.tex
index 54f83da..b43d30f 100644
--- 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$;