From 807543721ba6d6a5ccd2c16adf9647d9887626a5 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Sat, 3 Mar 2012 20:42:18 +0000 Subject: [PATCH 1/1] add FIXME because \py seems to cause barf in \subsubsection --- article.tex | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) 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} -- 2.30.2