Grazie mille sei stato veramente esaustivo!

Mentre ci sono ti chiedo un'altra piccola cosa. Come faccio a stampare il carattere tilde da tastiera?
Ho provato con alt+126 ma nulla. Su un normale file di testo me lo stampa ma sul prompt di rudy (interactive rudy) che utilizzo no.

Hai qualche idea?