![](https://secure.gravatar.com/avatar/d4db251f6da966f841fc5b1a9822eb56.jpg?s=120&d=mm&r=g)
11 Mar
2024
11 Mar
'24
2:31 a.m.
Hi,
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. Best wishes, Taco