Para insertar caracteres especiales en cualquier aplicación en Gnome es mucho más sencillo aprenderse el Punto de código Unicode que se puede encontrar en el mapa de caracteres.
Ya conociendo el punto código para insertarlo se presionan las teclas Ctrol+Mayús+u y se dejan de presionar, debería aparecer una u subrayada en pantalla, inmediatamente después escribir el punto código del carácter que se necesita y dar enter.
Fuente: Help gnome