ちなみにもっと言うと，電子的な端末（要はほとんど全ての端末）なら，
Ctrl+3でもEscと同じ内容の鍵符号が送信されるようになっている。