#GF

#gf Symbol

METAFONT-Schrift

Dateityp: Font- und Typeface-Datei

Eine #gf file extension kennzeichnet eine Bitmap-Fontdatei, die von METAFONT, der von Donald Knuth entwickelten Sprache und dem zugehörigen Programm zur Fontdefinition, generiert wird.

Die #gf file speichert gerasterte Glyphendaten für eine bestimmte Schriftart und Auflösung.

Was ist eine #gf Datei?

Dateityp-Kategorie:
Font- und Typeface-Datei

Aktualisierungsdatum: 5. November 2026

METAFONT, entwickelt von Donald Knuth, ist eine Programmiersprache und ein Interpreter zur Definition von Schriftarten. Es verarbeitet METAFONT-Quelldateien und erzeugt Bitmap-Ausgaben, einschließlich #gf files.

Eine #gf file enthält die Bitmap-Darstellungen der Glyphen einer Schriftart sowie Informationen, die von TeX-bezogenen Schriftart-Tools benötigt werden. Sie ist eine Ausgabe- oder Zwischendatei und nicht der METAFONT-Quellcode selbst.

GF files werden im TeX-Schriftarten-Workflow verwendet. Sie werden häufig in kompaktere Bitmap-Schriftdateien für den Satz konvertiert oder zur Erzeugung von Proof-Ausgaben verwendet. Die erzeugten Bitmap-Schriftarten können außerdem zum Erstellen von Schriftarten für die Einbettung in PostScript verwendet werden. Da das Format gerasterte Glyphen speichert, ist es an die Auflösung gebunden, für die die Schriftart erzeugt wurde.

Wie öffnet man eine #gf Datei?

Eine #gf-Datei wird normalerweise nicht in einem Texteditor geöffnet oder direkt bearbeitet. Verwenden Sie METAFONT, um diese Dateien aus METAFONT-Quelltext zu generieren, oder verwenden Sie ein TeX-Dienstprogramm wie GFtoDVI, um eine Prüfausgabe aus der Bitmap-Schrift zu erstellen.

Wie konvertiert man eine #gf Datei?

Verwenden Sie GFtoPK, ein standardmäßiges TeX-Hilfsprogramm, um eine #gf-Datei in eine gepackte PK-Bitmap-Schriftart zur Verwendung durch TeX-Software zu konvertieren. Das Ergebnis bleibt eine Raster-Schriftart in der ausgewählten Auflösung.

Für eine andere Auflösung oder ein wirklich anderes Schriftformat generieren Sie die Schrift aus ihrer METAFONT-Quelle neu, anstatt die vorhandene Bitmap-Datei zu konvertieren.

Ähnliche Dateiendungen