Symbol: extended_equivalence