Concatenating vectors

A bit OT, but it’s an empty check box (code “[ ]” interpreted as markdown):

[ ]
[x]

produces:

2 Likes