Symbolic concatenation added