@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}.$$