font METAFONT
Tipo di file: File di font e typeface
Un’estensione di file #gf identifica un file di font bitmap generato da METAFONT, il linguaggio e programma di definizione dei font sviluppato da Donald Knuth.
Il file #gf memorizza i dati dei glyph rasterizzati per un determinato font e una determinata risoluzione.
Categoria tipo di file:
File di font e typeface
Data aggiornamento: 5 novembre 2026
METAFONT, sviluppato da Donald Knuth, è un linguaggio di programmazione e un interprete utilizzati per definire i font. Elabora i file sorgente METAFONT e produce output bitmap, inclusi i file #gf.
Un file #gf contiene le rappresentazioni bitmap dei glifi di un font, insieme alle informazioni necessarie agli strumenti per font correlati a TeX. È un file di output o intermedio, non il sorgente METAFONT.
I file GF vengono utilizzati nel flusso di lavoro dei font TeX. Vengono comunemente convertiti in file di font bitmap più compatti per la composizione tipografica oppure utilizzati per generare output di prova. I font bitmap generati possono anche essere utilizzati per creare font da incorporare in PostScript. Poiché il formato memorizza glifi raster, è legato alla risoluzione per la quale il font è stato generato.
Un file #gf normalmente non viene aperto in un editor di testo né modificato direttamente. Usa METAFONT per generare questi file dal sorgente METAFONT, oppure usa un'utilità TeX come GFtoDVI per creare un output di prova dal font bitmap.
Utilizza GFtoPK, un'utilità standard di TeX, per convertire un #gf file in un font bitmap compresso PK da utilizzare con il software TeX. Il risultato rimane un font raster alla risoluzione selezionata.
Per una risoluzione diversa o per un formato di font realmente diverso, rigenera il font dal relativo sorgente METAFONT invece di convertire il file bitmap esistente.
italiano