@heribertschindler @hundertsieben I think you could actually type this from an English non-unicode-supporting Windows keyboard, but you'd have to type the text equivalent of the unicode symbol and not the text-emoji shortcut. And I don't know what that is. So I'll stick to the emoji keyboard and get used to it loading slowly I guess.