Symbol: xor_has