Me doy cuenta de que probablemente haya una respuesta simple a esta pregunta. Vengo de Ubuntu (Unity) y estoy acostumbrado a escribir símbolos Unicode con Ctrl+ Shift+ U, seguido del código del símbolo y Enter.
Esto no parece funcionar en Mint 17 (canela). Busqué en Google y no encontré una respuesta a esto.
¿Cómo se ingresan los símbolos unicode?
terminator
terminal. Gracias, por cierto, no sabía que eso fuera posible.