fix wrong symbols in simple

diff --git a/simple.tex b/simple.tex
index df7a9a72ca9a6062e613da10057f3e6efd906df1..8740176df91c7a269ba3063daf55a7a5c69570a5 100644 (file)
--- a/simple.tex
+++ b/simple.tex
@@ -86,7 +86,7 @@ OK.
 Firstly, $C \not\in \py$ since if it were, $L \in \py$.
 Thus $D \neq C$.
 
 Firstly, $C \not\in \py$ since if it were, $L \in \py$.
 Thus $D \neq C$.
 

-Now by contents of $L$, $D \notin L$, so $D \notin C$.
+Now by $\nothaspatch$, $D \not\isin L$ so $D \not\isin C$.

 OK.
 
 $\qed$
 OK.
 
 $\qed$