Re: [Grep-devel] [bug-gawk] GNU grep, awk, sed: support \u and \U for unicode

[Paul Eggert]

On 01/23/2017 08:42 PM, David Niklas wrote:
> how do we implement a Unicode point in a bracket?

Just use the Unicode character. E.g., the regular expression [∀⪌∃] works 
already. Portable scripts that want to search for Unicode characters in 
Unicode locales can do so already, and don't need \u or \U or whatever.