sentence1: the tensor product in sym is given by the composition of self-equivalences and the horizontal composition of natural isomorphisms .
sentence2: the product is given by the composition of self-equivalences and the horizontal composition of natural isomorphisms .