Oh, you're right, I was confused about the fixity.  `^&` would work indeed.  Ryan is right about `><` being used in a few standard libraries.  Unless there are any further objections, let's go with `^&`.  I hope this can be accomplished by some quick global search-and-replace scripts---I don't think there's anywhere else that `@@` would show up.