Literally any symbol other than "+" would work better for string concatenation. For example, the product, the comma, a dot, a space (but this might require oth

Literally any symbol other than "+" would work better for string concatenation. For example, the product, the comma, a dot, a space (but this might require other changes in the language), or heck, even the minus sign!