From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 3 Mar 2012 20:42:18 +0000 (+0000)
Subject: add FIXME because \py seems to cause barf in \subsubsection
X-Git-Tag: f0.2~167
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff_plain;h=807543721ba6d6a5ccd2c16adf9647d9887626a5

add FIXME because \py seems to cause barf in \subsubsection
---

diff --git a/article.tex b/article.tex
index f0bbf33..cae1019 100644
--- a/article.tex
+++ b/article.tex
@@ -396,7 +396,7 @@ Thus $A \le L \lor A \le R$.
 By Unique Base of L and Transitive Ancestors,
 $A \le L \equiv A \le \baseof{L}$.
 
-\subsubsection{For $R \in \py$:}
+\subsubsection{For $R \in FIXME py$:}
 
 By Unique Base of $R$ and Transitive Ancestors,
 $A \le R \equiv A \le \baseof{R}$.
@@ -417,7 +417,7 @@ Let $S =
      R \in \pn : & R
    \end{cases}$.  
 Then by Tip Merge $S \ge \baseof{L}$, and $R \ge S$ so $C \ge S$.
-    
+   
 Consider some $A \in \pn$.  If $A \le S$ then $A \le C$.
 If $A \not\le S$ then 
 
@@ -430,6 +430,5 @@ Then by Calculation Of Ends $A \in \pendsof{L,\pn} \lor A \in
 %$\pends{C,
 
 %%\subsubsection{For $R \in \py$:}
-%foo
 
 \end{document}