Symbol: double_equivalence