foreign notation: replace "D \text{ s.t. } \isforeign{D}" with "D \in \foreign"

[topbloke-formulae.git] / anticommit.tex

diff --git a/anticommit.tex b/anticommit.tex
index 39d13e5500c4d268375480aa92a623615c8a0a71..b8a3993946b3bdd30ed2ce67672b59b2189f760f 100644 (file)
--- a/anticommit.tex
+++ b/anticommit.tex
@@ -131,7 +131,7 @@ Single Parent Unique Tips applies.  $\qed$
 
 \subsection{Foreign Inclusion}
 
-Consider some $D$ s.t. $\isforeign{D}$.  $D \neq C$.
+Consider some $D \in \foreign$.  $D \neq C$.
 So by Desired Contents $D \isin C \equiv D \isin L$.
 By Foreign Inclusion of $D$ in $L$, $D \isin L \equiv D \le L$.