From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 16 Mar 2012 21:59:10 +0000 (+0000)
Subject: merge fixes/clarifications - add missing \
X-Git-Tag: f0.2~15
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff_plain;h=4cb4b094de07de42b3a8690172301f4cefff6e72

merge fixes/clarifications - add missing \
---

diff --git a/merge.tex b/merge.tex
index e295d3f..a8dd9a7 100644
--- a/merge.tex
+++ b/merge.tex
@@ -81,7 +81,7 @@ and calculate $\pendsof{C}{\pn}$.  So we will consider some
 putative ancestor $A \in \pn$ and see whether $A \le C$.
 
 By Exact Ancestors for C, $A \le C \equiv A \le L \lor A \le R \lor A = C$.
-But $C \in py$ and $A \in \pn$ so $A \neq C$.
+But $C \in \py$ and $A \in \pn$ so $A \neq C$.
 Thus $A \le C \equiv A \le L \lor A \le R$.
 
 By Unique Base of L and Transitive Ancestors,