Is there a common symbol for concatenating two (finite) sequences?

The comments suggest the following notations for the concatenation of $X$ and $Y$:

  • $X^\frown Y$ (given by X^\frown Y);
  • $XY$ (given by XY);
  • $X \cdot Y$ (given by X \cdot Y);
  • $X \mathbin\Vert Y$ (given by X \mathbin\Vert Y);

of which the first seems not to be in use for other concepts, making it especially suitable.


The same question on Tex SE.

From there, and more:

  • $X \oplus Y$ (given by X \oplus Y);
  • $(X,Y)$ (given by (X,Y));

I would avoid $X \times Y$, $XY$ or $X \cdot Y$ to not confuse it with any sort of multiplication / product.

And I would also not use $X \otimes Y$ because it is usually the tensor product. (See also here.)

Some relevant Wikipedia pages with common notations:

  • Vector space
  • Direct sum
  • Tensor product

$\newcommand\mdoubleplus{\mathbin{+\mkern-10mu+}}$ In haskell the $ \mdoubleplus $ operator is used for concatenating lists.

You can define it in latex using the command

\newcommand\mdoubleplus{\mathbin{+\mkern-10mu+}}