Symbol: EQUIV_CLASS