chiark / gitweb /
add FIXME because \py seems to cause barf in \subsubsection
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 3 Mar 2012 20:42:18 +0000 (20:42 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 3 Mar 2012 20:44:46 +0000 (20:44 +0000)
article.tex

index f0bbf33b91975bcb61866b8eeef73fabcea17af2..cae101934b5275e33c485a243e359eaca8e01e0d 100644 (file)
@@ -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}$.
 
 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}$.
 
 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$.
      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 
 
 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$:}
 %$\pends{C,
 
 %%\subsubsection{For $R \in \py$:}
-%foo
 
 \end{document}
 
 \end{document}