Symbol: def_no