gene-logic
Typeset logic formulae, etc
- Version:
- 1.4
- Copyright:
- Gerd Neugebauer
- License:
- other-free
- Packaged on:
- 07/15/2016 17:44:07
- Number of files:
- 4
- Size on disk:
- 99.89 kB
The package provides a facility to typeset certain logic formulae. It provides an environment like eqnarray, a newtheorem-like environment (NewTheorem), and several macros.