fix wrong symbols in simple

[topbloke-formulae.git] / simple.tex

diff --git a/simple.tex b/simple.tex
index ae6fc5551fd797dedeeeced6423cf5708b0d0f05..8740176df91c7a269ba3063daf55a7a5c69570a5 100644 (file)
--- a/simple.tex
+++ b/simple.tex
@@ -79,13 +79,14 @@ Ancestors: $ D \le C \equiv D \le L $.
 
 Contents: $ D \isin C \equiv D \isin L \lor f $
 so $ D \isin C \equiv D \isin L $, i.e. $ C \zhaspatch P $.
+OK.
 
 \subsubsection{For $L \nothaspatch \p$:}
 
 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$