
gn-logic: Setzen logischer Formeln
Der Mathematiksatz von TeX ist in Richtung algebraische Formeln ausgerichtet. Werden hingegen logische Formeln gesetzt, dann sind einige Abstände irreführend. Dieses Defizit wird durch Makros in dem LaTeX-Paket gn-logic.sty ausgeglichen.
Download
Hier sind die Quellen und die Dokumentation verfügbar.
Quellcode für den Style und die
Dokumentation
gn-logic.tar.gz, 5 kb
Dokumentation in PDF-Format gn-logic14.pdf, 154 kb
CTAN
gn-logic ist auch im CTAN in dem folgenden Verzeichnis zu finden: