Hacker News new | ask | show | jobs
by Panzerschrek 7 days ago
I use Ctrl+Shift+U followed by DC to type it. Or sometimes just switch to german keyboard layout. One can also just copy-paste its name.