Settings Help
CTAN
Comprehensive TeX Archive Network
Home Upload Browse

gene-logic – Typeset logic formulae, etc

The pack­age pro­vides a fa­cil­ity to type­set cer­tain logic for­mu­lae. It pro­vides an en­vi­ron­ment like eq­nar­ray, a newthe­o­rem-like en­vi­ron­ment (NewThe­o­rem), and sev­eral macros.

Sources/macros/latex/contrib/gene/logic
Doc­u­men­ta­tion
Ver­sion1.4
Li­censeFree li­cense not oth­er­wise listed, or more than one free li­cense ap­plies
Copy­right1995 Gerd Neuge­bauer
Main­tainerGerd Neuge­bauer
Con­tained inTeXLive as gene-logic
MiKTeX as gn-logic
Topics sup­port for type­set­ting math­e­mat­ics

Down­load the con­tents of this pack­age in one zip archive (68.8k).

Guest Book Sitemap Contact 2014-04-19 08:55 CEST