Changed many instances of Union, Intersection, Setminus, In, Included to their equivalent notation using UTF symbols. Added notation for Setminus.