chiark / gitweb /
wip merge complex - a fix
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 8 Mar 2012 15:24:45 +0000 (15:24 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 8 Mar 2012 15:24:45 +0000 (15:24 +0000)
article.tex

index 609e0e3..b97f7bb 100644 (file)
@@ -572,7 +572,7 @@ So indeed $L \haspatch \p \land R \haspatch \p \implies C \haspatch \p$.
 
 \subsubsection{For (wlog) $X \not\haspatch \p, Y \haspatch \p$:}
 
-$C \haspatch \p \equiv C \nothaspatch M$.
+$C \haspatch \p \equiv M \nothaspatch \p$.
 
 \proofstarts