HHKの◇のマークが付いたキーをgnomeのキーボードの設定ダイアログでは使えるようにできなかったのでxmodmapで設定した。
~/.Xmodmap に
keycode 129 = Super_R
keycode 131 = Super_L
! add Mod4 = Super_L
でできた。ログイン時にこのファイルは自動的に読み込んでくれている。そうでない場合は、.bashrcなりに書いておけばいいと思う。
! でコメントアウトしてある部分は、僕の場合は既にSuper_Lがモディファイアとして登録されていたので必要なかった。登録されているかどうかは
$ xmodmap -pm
で調べられる。