diff -r c06a899bd1f0 -r d3b05641e7ca text/basic_properties.tex
--- a/text/basic_properties.tex	Sun Jul 04 13:15:03 2010 -0600
+++ b/text/basic_properties.tex	Sun Jul 04 23:32:48 2010 -0600
@@ -89,7 +89,7 @@
 Assign to $b$ the acyclic (in positive degrees) subcomplex $T(b) \deq r\bullet\bc_*(S)$.
 Note that if a diagram $b'$ is part of $\bd b$ then $T(B') \sub T(b)$.
 Both $f$ and the identity are compatible with $T$ (in the sense of acyclic models), 
-so $f$ and the identity map are homotopic. \nn{We should actually have a section with a definition of `compatible' and this statement as a lemma}
+so $f$ and the identity map are homotopic. \nn{We should actually have a section with a definition of ``compatible" and this statement as a lemma}
 \end{proof}
 
 For the next proposition we will temporarily restore $n$-manifold boundary
@@ -111,7 +111,7 @@
 }
 The sum is over all fields $a$ on $Y$ compatible at their
 ($n{-}2$-dimensional) boundaries with $c$.
-`Natural' means natural with respect to the actions of diffeomorphisms.
+``Natural" means natural with respect to the actions of diffeomorphisms.
 }
 
 This map is very far from being an isomorphism, even on homology.