Ah, I see, so yours is using a different key mapping, but still outputs the correct Unicode characters? I remember the stickers on the keyboards :) By "weird T

Ah, I see, so yours is using a different key mapping, but still outputs the correct Unicode characters? I remember the stickers on the keyboards :) By "weird TTF font" earlier, I meant they had a Jawi font that basically worked like Wingdings - they were typing a genuine ASCII "A" (0x41/0x61), but the font was "rendering" an aleph (I think). So it looked OK with the font. But it wasn't "proper" Unicode. I'll keep https://jawikey.com https://jawikey.com in mind for the future though :)