How to make gawk aware of unicode characters?

[Peng Yu]

Hi,

I use the following code to match no-break space.

$ awk -e '/§\xc2\xa03/ { print }' <<< '§ 3'
§ 3

However, the unicode is U+00A0 instead of \xc2\xa0. Obviously, gawk
treats the input as a stream of bytes instead of Unicode characters.
Is there a way to let gawk be aware of Unicode characters so that I
can write something like \u00a0 as in many other languages?

https://www.utf8-chartable.de/unicode-utf8-table.pl?names=2&utf8=string-literal&unicodeinhtml=hex

-- 
Regards,
Peng