Eu encontrei uma solução que funciona em gedit e nas caixas de entrada de texto de muitos outros aplicativos baseados em GTK. Pressiono Ctrl + Deslocamento + U , digito o código do caractere em hexadecimal, depois pressiono Enter e personagem aparece.