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, a newtheorem-like environment (NewTheorem), and several macros.

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

License: other-free Version: 1.4 Catalogued: 2015-08-03