4 ms·
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.
by Panzerschrek 5mo 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.