Re: Palatino e simboli di tasti su Mac

[quote]Il modo probabilmente più semplice è di inserirli come pdf.

Temevo questa risposta. 🙄

Dov’è il problema?[/quote]
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.

Ciao
Enrico