--- a/pnas/pnas.tex Sun Nov 14 16:00:35 2010 -0800
+++ b/pnas/pnas.tex Sun Nov 14 16:02:06 2010 -0800
@@ -716,8 +716,8 @@
With this alternate version in hand, it is straightforward to prove the theorem.
The evaluation map $\Homeo(X)\times BD_j(X)\to BD_j(X)$
-induces a chain map $\CH{X}\ot C_*(BD_j(X))\to C_*(BD_j(X))$
-and hence a map $e_X: \CH{X} \ot \cB\cT_*(X) \to \cB\cT_*(X)$.
+induces a chain map $\CH{X}\tensor C_*(BD_j(X))\to C_*(BD_j(X))$
+and hence a map $e_X: \CH{X} \tensor \cB\cT_*(X) \to \cB\cT_*(X)$.
It is easy to check that $e_X$ thus defined has the desired properties.
\end{proof}
--- a/pnas/preamble.tex Sun Nov 14 16:00:35 2010 -0800
+++ b/pnas/preamble.tex Sun Nov 14 16:02:06 2010 -0800
@@ -36,6 +36,7 @@
\newcommand{\directSum}{\oplus}
\newcommand{\DirectSum}{\bigoplus}
+\newcommand{\ot}{\otimes}
\newcommand{\tensor}{\otimes}
\newcommand{\Tensor}{\bigotimes}