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...