Definition 22.3.4. Let $R$ be a ring. Let $(A, \text{d})$, $(B, \text{d})$ be differential graded algebras over $R$. The tensor product differential graded algebra of $A$ and $B$ is the algebra $A \otimes _ R B$ with multiplication defined by

$(a \otimes b)(a' \otimes b') = (-1)^{\deg (a')\deg (b)} aa' \otimes bb'$

endowed with differential $\text{d}$ defined by the rule $\text{d}(a \otimes b) = \text{d}(a) \otimes b + (-1)^ m a \otimes \text{d}(b)$ where $m = \deg (a)$.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).