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 |
