Verzeichnis macros/latex/contrib/gene/logic
Herunterladen des vollständigen Inhalts dieses Pakets in einem Zip-Archiv (68.8k).
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.
Paket | gene-logic |
Version | 1.4 |
Lizenzen | Free license not otherwise listed |
Betreuer | Gerd Neugebauer |
Enthalten in | TeX Live als gene-logic MiKTeX als gene-logic |
Themen | Mathematik |