This would mean even more complicated or pretty much impossible key combinations that would be needed to be pressed at the same time. On certain 'dead key' keyboard layouts, there even is no single and direct '~' key: To type a tilde, one would have to press AltGr+ + followed directly by a space or to double-tap + while holding AltGr. On a typical German QWERTZ layout keyboard, the tilde key '~' can/must be entered via AltGr+ + alternatively, Ctrl+ Alt+ + should work when there is no AltGr key. Shifted or not? The implication is that it is, since that's where ‘~’ is.