Symbol: pand_neq_x2