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.
|License||Free license not otherwise listed, or more than one free license applies|
|Copyright||1995 Gerd Neugebauer|
|Contained in||TeX Live as gene-logic|
|MiKTeX as gene-logic|
support for typesetting mathematics|
Download the contents of this package in one zip archive (68.8k).
Maybe you are interested in the following packages as well.
- eqname: Name tags for equations
- begriff: Typeset Begriffschrift
- pl: Literate Programming for Prolog with LaTeX
- limap: Typeset maps and blocks according to the Information Mapping® method