Finalmente posso dire di non usare più il tastierino numerico per fare le graffe: mi sono disintossicato. Ora uso sempre SHIFT-ALTGR-[]