new macro \statement (for \[\eqn{...}{...}\] - many possible call sites)

[topbloke-formulae.git] / anticommit.tex

diff --git a/anticommit.tex b/anticommit.tex
index 72469b80d69fa67aa410381faf5768262d15964e..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. $\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$.