Our super-modern commerce-oriented web search engines are simply too stupid to allow programmers to search information about specific sequences of symbols... Well, this is why I search for a solution here.
I came across a totally new, never-seen-before Bash expansion or substitution; this is constituted of sequences of characters like
What it does is the replacement of the UTF-8 bytes sequence with the represented character.
I've never seen this in Bash's manual (and I'm leaned to think this is not described there at all) nor everywhere else.
Do you have any information on this construct, such as its name, or a document where this is described?