Formelsatz in HTML

Bekanntlich können in HTML nur einfache mathematische Konstrukte mit Rechenoperationen und hoch- bzw. tiefgestellten Zeichen realisiert werden. Griechische Buchstaben, Integrale, Summenzeichen usw. bleiben ein Wunschtraum. Bis zur Etablierung intelligenterer Hypertextsprachen ist man daher auf die Improvisation angewiesen.

Ein Ausweg aus diesem Dilemma ist die Erstellung von Texten mittels LaTeX. Eine deutschsprachige Anleitung findet sich z.B. hier. LaTeX erlaubt die Erstellung druckreifer Dokumente mit wunderschönem Formelsatz und wird von den meisten Rechenzentren gepflegt. Daher hat sich diese druckbeschreibende Sprache an den Universitäten als Standard für die Erstellung von wissenschaftlichen Texten und Publikationen durchgesetzt. Es bleibt nur das Problem zu lösen, wie man den Ausgabefile von LaTeX in ein HTML-Dokument einbindet.

Eine automatische Lösung hierfür bietet ein Cross-Compiler (z.B. LaTeX2HTML ), der glatten Text mit Attributen nach HTML übernimmt und die Sonderzeichen und Formeln automatisch in GIF-Grafiken verwandelt und an der entsprechenden Stelle einbindet. Dieses Verfahren ist bei größeren Projekten sicherlich der beste Weg.

Eine einfache Lösung, die auch hier verwendet wurde, ist die Verwandlung ganzer (kurzer) Paragraphen in GIF-Bilder. Hierzu wandelt man den von LaTeX erzeugten DVI-File mit dem Kommando
     dvidrv dvidot7 pcx @p6l druckfile.dvi graphikfile.pcx
in eine Bitmap vom Typ PCX um. Da die Bildschirmauflösung viel geringer ist als die bei Druckern übliche Auflösung von 300 dpi sollte man tunlichst einen Font mit geringerer Auflösung, z.B. für den Drucker NEC P6 (low) mit 180 dpi wählen. Anderenfalls werden die Zeichen sehr viel größer als die in HTML üblichen Schriftgrößen für Texte. Ebenso wird für die Schriftgröße der Typ footnotesize verwendet.

Bleibt zuletzt noch die Umwandlung des PCX-Files in eine GIF-Grafik (1-Bit), die mit vielen Malprogrammen möglich ist. Hier wurde das Shareware Programm Paint-Shop Pro verwendet. Man kann die GIF-Files anschließend transparent machen (z.B. mit dem Shareware Programm GIF-Constructor).