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.