What is the name and function of the symbol "$A^\smallfrown B$", where $A$ is an $m$-place sequence and $B$ is an $n$-place sequence?

Question

I was wondering if someone might tell me the name and use of the symbol circled in red, the arc between A and B.

It comes from Modal Logic: An Introduction to Its Syntax and Semantics by Nino Cocchiarella and Max Freund.

I've checked Wikipedia and Math Vault (mathvault.ca), but to no avail. What is this and how is it read?

Thanks in advance!

Answer 1

I think most of us, if asked for a name for the symbol, would call it ... 'the concatenation symbol'!

And if lecturing and reading out '$A^\cap B$' written on the board, I'd just say '$A$ concatenated with $B$' or perhaps more casually but making it clear which way round things go, '$A$ followed by $B$'.

As for what concatenation is, the quote gives you a neat technical definition ... and Wikipedia is your friend if you want some background!