Vou estender a pergunta, porque acho que está relacionado.
Ainda não reparei (estou longe de casa agora pra checar), mas no windows tem o Gerenciador de Caracteres. Vc clica no caracter especial e, no rodapé da janela, aparece a combinação de teclas pra obter o caracter.
Tem um programa similar no ubuntu ? Funciona da mesma forma ?