I want to correct on this point.

> So, how would you express the semantics of universal-character-names, then?

If you mean the escape sequence \u and \U, we can support those, there's nothing special or weird about those.

My previous answer was related to "friendly names" for unicode characters, those should be out.