\equiv_n