Type­set­ting Lo­gi­cal For­mu­lae

Type­set­ting ma­the­ma­tics in TeX is tailored to­wards al­ge­bra­ic for­mu­lae. If you are type­set­ting lo­gi­cal for­mu­lae some dis­tan­ces might be mis­leading. The package gn-lo­gic.sty pro­vides macros to avoid this de­fi­cien­cy.

Down­load

Here you can down­load the sources and do­cu­men­ta­tion.

Code for style and do­cu­men­ta­tion
gn-lo­gic.tar.gz, 5 kb
Do­cu­men­ta­tion as PDF
gn-lo­gic14.pdf, 154 kb

CTAN

gn-lo­gic.sty can be found on CTAN in the di­rec­to­ry

macros/latex/contrib/gene/lo­gic

Dr.
Gerd
Neu­ge­bauer
Gerd Neugebauer
Gerd Neu­ge­bauer
→ Soft­ware
→ (La)TeX
→ Type­set­ting Lo­gi­cal For­mu­lae

Home ♦ Sitemap ♦ Im­print

Pri­va­te
Here you can find in­for­ma­tion on my ad­dress and my CV. The rest is... pri­va­te.
Soft­ware
Here you can get some soft­ware which I have made du­ring the years. It is distribted as open source.

♦ (La)TeX ♦ Emacs ♦ TWiki ♦

Ac­ti­vi­ties
What­ever else I am do­ing or have done.
Pub­li­ca­ti­o­ns
Ich habe so das eine oder andere veröffentlicht. Hier ist die Liste zu finden.
Pro­fes­si­o­nal
I am cur­rent­ly working for iteratec GmbH in the sub­si­di­ary Frank­furt, Ger­many. I am IT ar­chi­tect and IT con­sul­tant.
© 2011 Gerd Neu­ge­bauer