Dear John Thank you very much... have a nice day! Sincerely Daqi On Fri, 1 Jun 2001, John Rushby wrote: > > "t is an element of set S"? I cannot find a symbol... so ... > > It's member(t, S) > > Have fun. > John >