X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=blobdiff_plain;f=anticommit.tex;h=b8a3993946b3bdd30ed2ce67672b59b2189f760f;hp=72469b80d69fa67aa410381faf5768262d15964e;hb=5c02a85042852a79c36cd67c1c0b6778ffd5eff1;hpb=fd4fcf610bbe38767f7aba836c233bdc46e513e3

diff --git a/anticommit.tex b/anticommit.tex
index 72469b8..b8a3993 100644
--- 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} = \foreign$.  $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$.