So let's forget about ~ as it is already used by DataFrames which is a very important package.
I just found that the project Coq is using ++ for string concatenation. It has the advantage of not overloading + and still be similar to Python's +. What do you think ?
