Fix box to be technically correct.

Author: leburgel

docs/src/appendix/symmetric_tutorial.md

@@ -513,12 +513,13 @@ We can then combine these operators to get the appropriate Hamiltonian terms,
     Although we have made a suggestive distinction between the 'left' and 'right' versions of
     the operators $a_L^\pm$ and $a_R^\pm$, one can actually be obtained from the other by
     permuting the physical and auxiliary indices of the corresponding `TensorMap`s. This
-    permutation has no effect on the actual subblocks of the tensors due to the bosonic
-    [`BraidingStyle`](@ref) of $\mathrm{U}(1)$ irreps, so the left and right operators can
-    in essence be seen as the 'same' tensors. This is no longer the case when considering
-    fermionic systems, where permuting indices can in fact change the subblocks as we will
-    see next. As a consequence, it is much less clear how to construct two-site symmetric
-    operators in terms of local symmetric objects.
+    permutation has no effect on the actual subblocks of the tensors due to the Abelian
+    [`FusionStyle`](@ref) and bosonic [`BraidingStyle`](@ref) of $\mathrm{U}(1)$ irreps, so
+    the left and right operators can  in essence be seen as the 'same' tensors. This is no
+    longer the case when considering non-Abelian or symmetries. For these cases, permuting
+    indices can in fact change the subblocks, as we will see next. As a consequence, it is
+    much less clear how to construct two-site symmetric operators in terms of local
+    symmetric objects.
 
 The explicit construction then looks something like