Setzen lo­gi­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 Pa­ket gn-logic.sty aus­ge­gli­chen.

Down­load

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

CTAN

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

macros/latex/contrib/gene/logic