(quote +,Set,Set)
s + t
-- union of two sets
See also
+
.