# HG changeset patch # User Scott Morrison # Date 1289779326 28800 # Node ID ab6bfadab93e744c96b6a15ee2ef01f859d0897f # Parent 5700634d844263fd2a971d20e2a4392e8ad90914 oops, unbreaking stuff diff -r 5700634d8442 -r ab6bfadab93e pnas/pnas.tex --- 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} diff -r 5700634d8442 -r ab6bfadab93e pnas/preamble.tex --- 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}