Symbol: single_equivalence