#

Search | Home | Alpha | Brief | Topical | Hierarchical

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 Version: 1.4 Catalogued: 2006-09-03

- Visit
  - Visit a nearby CTAN:/macros/latex/contrib/gene/logic. If this fails, try Cambridge.
  - Visit Cambridge:/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.