The TeX Catalogue Online

gene-logic

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.

The author is Gerd Neugebauer. The package is Copyright © 1995 Gerd Neugebauer.

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