Re: Palatino e simboli di tasti su Mac

Esiste un ottimo script di Heiko Oberdiek che si chiama pdfcrop. Nel codice indicato prima mancava \nopagenumbers; una volta aggiunto e compilato con una sola riga non commentata, ho fatto andare pdfcrop salvando il risultato in un file pdf con un nome esplicativo. Il risultato è disponibile qui. Nel file di esempio vedi come si usano e anche le possibili macro per nominare i simboli.

Spettacolare! 🙂

Grazie mille, Enrico.

A presto,
L.