Symbol: tagname2tag