Hm, it looks pretty distinct to me in the rendered output. Primed vs unprimed symbols is a pretty common style for situations like this, so I quite like the way it is... how big a problem is this for you? How many people have been confused by this?

Primed symbols is certainly a common convention for math, but I think we're in an untypical situation, because we're mixing C++ syntax and math syntax. Given that C++ syntax is famously complex, I figured that a style guideline like the following would be uncontroversial:

Mix C++ syntax and math syntax in code fragments only when absolutely necessary.

But if not, that's ok too. It's not causing me any problems. :)

But overload resolution is a uniquely mathsy section of the specification already -- I think the notation is appropriate in its context. Shout if this really upsets anyone, but let's keep it as is otherwise.