foreign notation: introduce \isforeign

[topbloke-formulae.git] / anticommit.tex

diff --git a/anticommit.tex b/anticommit.tex
index 2306a73e151075757b87891b3f9d17a447b9d88d..39d13e5500c4d268375480aa92a623615c8a0a71 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. $\patchof{D} = \bot$.  $D \neq C$.
+Consider some $D$ s.t. $\isforeign{D}$.  $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$.