Re: Simboli

Ma il file pulsehigh.mp lo creo nel compilatore? Cioè il codice lo scrivo in un foglio nuovo sempre nel mio compilatore?

Che significa “creare nel compilatore”? È un file di testo, non ha alcuna importanza con quale programma tu lo scriva. L’importante è elaborarlo con Metapost; come lo si faccia sul tuo sistema dipende dal sistema, ovviamente. Questo crea un file .mps che va tenuto nella stessa cartella del tuo documento principale.

Ciao
Enrico