a\equiv_na