UTF-8 Unicode operators vs digraphs

[Dlighted]

Okay, I was unnecessarily rude. Sorry.

On Wednesday, 12 August 2026 at 22:43:01 UTC, Timon Gehr wrote:

> ℕ₀ (turns into \mathbb{N}_0)

> Why did I have to abandon it? My boss was using a crappy editor 
> on Windows and it did not support utf-8 properly, so he was 
> unable to actually see, let alone edit, my formulas.

I guess this is what it all comes back to. It's like the UTF-8 
BOM mark and notepad.exe.