Reply to Robert, > Hmm... I'd say x.⊆(y) is preferable x.isSubsetOf(y), but it's not a > huge deal. > Only until you have to type it. I think universal alpha includes only the union of things that can be easily typed on standard keyboards. I don't think any keyboard (ok maybe an APL keyboard) has the subset symbol on it.