さっき、10.15.4に上げてみたら症状は治った。
半角入力モードはABCではなくU.S.です。