added concatenate-symbols