-- -*- M2-comint -*- {* hash: -1295004878 *} i1 : x = set{1,2,3} o1 = set {1, 2, 3} o1 : Set i2 : x#?2 o2 = true i3 : member(2,x) o3 = true i4 :
-- -*- M2-comint -*- {* hash: -1295004878 *} i1 : x = set{1,2,3} o1 = set {1, 2, 3} o1 : Set i2 : x#?2 o2 = true i3 : member(2,x) o3 = true i4 :