set ctrl+altgr+8/9 to produce []