@Sophie Libkind

If I understand correctly, yes actually.

The left-hand side of the above diagram is given by,
$$
\mathrm{O} \otimes 2\mathrm{H}
$$

which is just shorthand for,

$$
\mathrm{O} \otimes \mathrm{H} \otimes \mathrm{H}.
$$