It is straightforward to check the symmetry properties for each generator and all of the rules in Figure REF  by concrete calculation. Soundness of the meta rule “only the topology matters” follows by considering the string diagrams as morphisms in a compact closed category [1]}.
