On 23/11/05, Joseph Garvin <k04jg02 at kzoo.edu> wrote: > What do you mean by unicode operators? Link? http://fishbowl.pastiche.org/2003/03/19/jsr666_extended_operator_set -- Cheers, Simon B, simon at brunningonline.net, http://www.brunningonline.net/simon/blog/