sym_higher