puoi usare gucharmap (tipo mappa caratteri, ma unicode) per copiare i caratteri che ti servono negli appunti. Se usi gnome c'è anche un'applet chiamata "character palette" che serve circa a fare quello che dici tu, ma confesso che il suo funzionamento mi è totalmente ignoto :-) ciao albx