On Friday, 5 July 2013 at 14:59:39 UTC, TommiT wrote:
It's rather C++'s std::string which overloads the meaning of +
to mean "concatenation". I wonder if some other programming
language has assigned some other symbol (than ~) to mean
"concatenation". I guess math uses || for it.
|| is used for a different kind of concatenation [1]
For strings, math uses middle dot, (a⋅b) or even just (ab) like
with multiplication [2]
[1]: https://en.wikipedia.org/wiki/Concatenation_(mathematics)
[2]:
https://en.wikipedia.org/wiki/String_operations#Strings_and_languages
