Re: Simboli

Si ok ma come genero il file con estensione .mp?? Se scrivo il codice che mi hai dato nel mio compilatore, esso viene salvato con estensione .tex e non .mp.
C’è qualcosa di implicito nel tuo discorso che non riesco a cogliere. Considera che prima d’ora non conoscevo l’esistenza di Metapost

Continui a confondere “compilatore” con “editor”. Registra dando esplicitamente l’estensione .mp

Ciao
Enrico