I am looking for a good way to typeset the concatenation of two strings. This is standard notation in descriptive set theory to join an m-tuple
x to an n-tuple
y to get an (m+n)-tuple
x^y, that is, a small slightly raised circumflex or frown joining the upper parts of the characters together. I currently use the straightforward
which doesn't look terribly good.
Semantically, this is a binary operation, but it shouldn't have the usual spacing on the right and the left and it should be higher up than a minus sign, say.
Here's a sample screen shot from Moschovakis's Descriptive set theory (p.76 of the pdf) which is approximately what I'd like to do, but I'd prefer a frown:
Looking around on this site, I found the question String/vector concatenation symbol but it is concerned with which symbol to use for the operation, so it doesn't address my question.