Symbol: add_to_equiv_list