more with == involving Sym