Gruppo Utilizzatori Italiani di TeX
Oppure puoi sempre utilizzare la mappa caratteri di Windows. Ma effettivamente, se usi una shell credo ti dia la possibilità di inserirli. Quella dovrebbe essere in assoluto la soluzione migliore. Ciao.