Mi rendo conto che probabilmente c'è una semplice risposta a questa domanda. Vengo da Ubuntu (Unity) e sono abituato a digitare simboli unicode con Ctrl+ Shift+ U, seguito dal codice del simbolo e Enter.
Questo non sembra funzionare in Mint 17 (Cannella). Ho cercato su Google e non ho trovato una risposta a questo.
Come si inseriscono i simboli Unicode?
terminator
terminale. Grazie, comunque, non sapevo che fosse possibile.