Symbol: concat_symbols