gn-logic: Typesetting logical Formulæ
Typesetting mathematics in TeX is tailored towards algebraic formulæ. If you are typesetting logical formulae some distances might be misleading. The LaTeX package gn-logic.sty provides macros to avoid this deficiency.
Here you can download the sources and documentation.
Code for style and documentation
gn-logic.tar.gz, 5 kb
Documentation in PDF; gn-logic14.pdf, 154 kb