Peccato che non so cosa sia il vettore di ricodifica 😀
Se guardi il file pdftex.map, troverai che consiste di righe della forma
`ASCII ASCII
Andrebbe sempre caricato quando si vuole generare un buon pdf?
Non so, sinceramente, perché non funzioni con cmmi10, può essere per il fatto che è precaricato con il formato e quindi il pdf non contiene il vettore di codifica “standard” di quel font. Secondo il README può essere necessario usare l’opzione resetfonts per avere il riconoscimento “certo” della corrispondenza nome-carattere.
Non l’ho mai usato e non avevo mai notato questo problema, anche perché di solito non uso Reader.
Ciao
Enrico