[ String ] + [ String ]

☞ x ≔ ‘ABC’.
☞ y ≔ ‘DEF’.
☞ z ≔ x + y.
✎ write: z, stop.
ABCDEF