Symbol: pipe2name