5.41.2 Concat two sequences:
,
The infix operator
,
concatenates two sequences.
Input:
A:=(1,2,3,4)
B:=(5,6,3,4)
A,B
Output:
(1,2,3,4,5,6,3,4)