Symbol: label_plus_dname