29 Gennaio 2007 alle 23:54
#12364
::
Per mia parte, visto che parte del discorso è scaturito da miei post, oltre a confermare quello che scrive egreg9, posso dire che la mia scelta di mantenermi su OT1 è dettata dalla cattiva qualità dell’output da font T1 su piattaforma GNU/Linux. Di contro, alcuni caratteri dell’encoding OT1, come è stato riferito da egreg9, sono emulati e tale emulazione è talmente di scarso livello che preferisco ricorrere a una definizione di comando solamente per cambiare un carattere.
Ciao.