7 lines (5 loc) · 187 Bytes

ExpectationWeight Times

Let $x = (x_1, x_2)$ and $y = (y_1, y_2)$ be two elements of $W_1 \times W_2$.

Then $x \otimes y = (x_1 \otimes y_1, x_1 \otimes y_2 \oplus x_2 \otimes y_1)$.