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
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
