The TeX Catalogue OnLine, Entry for gene-logic, Ctan Edition

Typeset logic formulae, etc.

The package provides a facility to typeset certain logic formulae. It provides an environment like eqnarray, an extended newtheorem environment, and several macros.

License: other-free Version: 1.4 Catalogued: 2008-10-04

Visit
- Visit a nearby CTAN:/macros/latex/contrib/gene/logic. If this fails, try Dante.
- Visit Dante:/macros/latex/contrib/gene/logic
Download
- Download from a nearby CTAN (automatically identified).
- Download from Cambridge.
Documentation
- Package documentation: gn-logic14.pdf.
Distributions
- This package is included in TeX Live.
- This package is included in MikTeX.