Depois de algumas pesquisas, aprendi a usar xbindkeys. Eu só tive que adicionar os seguintes comandos ao arquivo xbindkeysrc
colocado na minha pasta pessoal:
# LeftBracket
"xvkbd -xsendevent -text "[""
Control+Alt + dead_grave | m:0xc + c:34
# RightBracket
"xvkbd -xsendevent -text "]""
Control+Alt + plus | m:0xc + c:35
# LeftKey
"xvkbd -xsendevent -text "{""
Control+Alt + dead_acute | m:0xc + c:48
# RightKey
"xvkbd -xsendevent -text "}""
Control+Alt + ccedilla | m:0xc + c:51
# Pipe
"xvkbd -xsendevent -text "|""
Control+Alt+Mod2 + 1 | m:0x1c + c:10
# AtSign
"xvkbd -xsendevent -text "@""
Control+Alt+Mod2 + 2 | m:0x1c + c:11
# Hash
"xvkbd -xsendevent -text "#""
Control+Alt+Mod2 + 3 | m:0x1c + c:12
# Virgulilla (Spanish keyboard)
"xvkbd -xsendevent -text "~""
Control+Alt+Mod2 + 4 | m:0x1c + c:13
# Slash
"xvkbd -xsendevent -text "\""
Control+Alt+Mod2 + masculine | m:0x1c + c:49
Depois disso, adicionei xbindkeys a gnome-session-properties
para executar xbindkeys na inicialização.
Dessa forma eu posso usar Ctrl + Alt como eu costumava fazer.