Sign up ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Say we have two finite sequences $X = (x_0,...,x_n)$ and $Y = (y_0,...,y_n)$. Is there a more or less common notation for the concatenation of these sequences, like $\sum (X,Y) = (x_0,...,x_n,y_0,...,y_n)$?

share|cite|improve this question
In fact I meant a symbol for two named sequences, where it is not clear what their content looks like. I changed the question correspondingly. – Chiel ten Brinke Feb 9 '13 at 10:51
I have seen more notations for this, the easiest is $XY$.. – Berci Feb 9 '13 at 10:54
Depending on context, I have seen $XY$, $X\cdot Y$, and $X^{\frown}Y$. – Brian M. Scott Feb 9 '13 at 13:40
Yes, probably this $X{}^\frown Y$ is the symbol you are looking for. – Berci Feb 9 '13 at 14:03
I have seen $X||Y$. – Ron Gordon Feb 9 '13 at 14:33

4 Answers 4

up vote 2 down vote accepted

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 \Vert Y$ (given by X \Vert Y);

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

share|cite|improve this answer

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:

share|cite|improve this answer

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

You can define it in latex using the command

share|cite|improve this answer

If $x$ and $y$ are finite sequences, you could denote their concatenation by $xy$. Let me explain. There's at least two ways of formalizing the statement "$x$ and $y$ are finite sequences in $X$"

  • $x$ and $y$ are functions of type $[\:\!n) \rightarrow X$, where $[\:\!n)$ is a shorthand for the set $\{0,\ldots,n-1\}$.

  • $x$ and $y$ are elements of $X^*$, where $X^*$ is the monoid freely generated by $X$.

If you're interested in concatenating these things, then you should probably take the second perspective, in which case the concatenation of $x$ and $y$ is simply their product in the monoid $X^*$, which is denoted $xy$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.