On 2/16/2012 8:47 PM, H. S. Teoh wrote: > Well, in that case, we should replace 'in' with '∈'. I would, but that doesn't work because of keyboarding issues.