docs: def symmetric_difference(self, other):
          """Constructs an unminimized DFA recognizing
          the symmetric difference of the languages of two given DFAs.
          Args:
              other (DFA): The other DFA that will be used
                           for the symmetric difference operation
          Returns:
              DFA: The resulting DFA
          """
          operation = bool.__xor__
          self.cross_product(other, operation)
          return  self