[NTG-context] Re: weird character normalization in the wiki

11 Mar 2024

      On 3/11/24 09:31, Taco Hoekwater wrote:
...
...
On 9 Mar 2024, at 09:35, Pablo Rodriguez via ntg-context  wrote:
Sure, they may be a workaround to type codepoints instead of characters
(such as with \utfchar{0x1fbb}, but wouln’t it be possible to disable
that character normalization in the wiki?
AFAIK, Wikimedia’s Unicode normalisation can not be turned off.
Hi Taco,

then I have to use the woraround.

Many thanks for your help,

Pablo