gn-logic: Setzen logi­scher For­meln

Der Ma­the­ma­tik­satz von TeX ist in Rich­tung al­ge­bra­ische For­meln aus­ge­rich­tet. Wer­den hin­ge­gen lo­gi­sche For­meln ge­setzt, dann sind ei­ni­ge Ab­stän­de irre­führ­end. Die­ses De­fi­zit wird durch Makros in dem LaTeX-Pa­ket gn-logic.sty aus­ge­gli­chen.

Download

Hier sind die Quel­len und die Do­ku­men­ta­tion ver­füg­bar.

Quell­code für den Style und die Do­ku­men­ta­tion
gn-logic.tar.gz, 5 kb

Do­ku­men­ta­tion in PDF-For­mat
gn-logic14.pdf, 154 kb

CTAN

gn-logic ist auch im CTAN in dem fol­gen­den Ver­zeich­nis zu fin­den:

macros/latex/contrib/gene/logic