From c60a10efc12a3c6b09c536c424fc9ca24a167350 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 8 Mar 2012 15:24:45 +0000
Subject: [PATCH] wip merge complex - a fix

---
 article.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/article.tex b/article.tex
index 609e0e3..b97f7bb 100644
--- a/article.tex
+++ b/article.tex
@@ -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
 
-- 
2.30.2