simplified concatenate-symbols