> ADT.Set A = ADT.Set((< "John", "Serena", "Bob", "Mary", "Serena", "Bob" >)); > ADT.Set B = ADT.Set((< "Jim", "Mary", "John", "Jim", "Bob", "Mary" >)); > (A-B)+(B-A); Result: ADT.Set({ "Serena", "Jim" })