I’m not using Windows anymore, but I figured this might be useful to someone who is: How to enter Unicode characters in Microsoft Windows

Thought I just had: I wonder when I’ll use Windows again?