--- a/diagrams/latex2pdf/defontify.tex	Sat May 29 15:01:43 2010 -0700
+++ b/diagrams/latex2pdf/defontify.tex	Sat May 29 15:01:53 2010 -0700
@@ -17,6 +17,8 @@
 \newcommand{\cN}{\mathcal{N}}
 $N_0 N_1 N_2 N_3 M_0 M_1 M_2 M_3 I$
 
+$R_0 R_4$
+
 $n-\abs{\Gamma}$ edges
 
 $v$

Binary file diagrams/pdf/deligne/manifolds.pdf has changed

--- a/text/deligne.tex	Sat May 29 15:01:43 2010 -0700
+++ b/text/deligne.tex	Sat May 29 15:01:53 2010 -0700
@@ -92,8 +92,9 @@
 \begin{itemize}
 \item If $g:R_i\to R_i$ is a homeomorphism, we can replace
 \[
-	(\ldots, f_{i-1}, f_i, \ldots) \to (\ldots, g\circ f_{i-1}, f_i\circ g^{-1}, \ldots) .
+	(\ldots, f_{i-1}, f_i, \ldots) \to (\ldots, g\circ f_{i-1}, f_i\circ g^{-1}, \ldots),
 \]
+leaving the $M_i$, $N_i$ and $R_i$ fixed.
 (See Figure xxx.)
 \item If $M_i = M'_i \du M''_i$ and $N_i = N'_i \du N''_i$ (and there is a
 compatible disjoint union of $\bd M = \bd N$), we can replace