On 2015-09-02, Nicolas George <george@nsup.org> wrote: > > For me, Ctrl-AltGr-) gives ^] as expected, both with XTerm and the > Linux console. Me too.