Gruppo Utilizzatori Italiani di TeX
Grazie della risposta, ma io avendo un Mac uso TeXShop, come mi era stato consigliato da un amico tempo fa. Ora non so che TeXShop abbia a che fare con MiKTeX o con TeXLive boh… non credo… Confermi?
