next up previous contents index
Next: char Up: String Previous: String   Contents   Index

$+$


Usage

s $+$ t


Signature

$+$: (%, %) $\to$ %


Parameter Type Description
s,t % strings


Returns

$s$+$t$ returns the string $s t$. Copies all the characters of $s$ and $t$, so $s$ is unchanged after the call, and $s$ and $t$ do not share characters with $s + t$.


Remarks

$s + \htmlref{\texttt{empty}}{FiniteLinearStructureType:empty}$ and $\htmlref{\texttt{empty}}{FiniteLinearStructureType:empty} + s$ both return a copy of $s$.


Example

If $s$ is the string ``abcde'', then $s + (s + 2)$ is the string ``abcdecde''.



Manuel Bronstein 2004-06-28