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+}}