$+$

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''.