Settings Help
CTAN
Comprehensive TeX Archive Network
Home Upload Browse

Direc­tory tex-archive/macros/latex/contrib/gene/logic

Files

Name Size Date Notes
gn-logic14.pdf 92535 2006-09-03 11:05:00
gn-logic14.sty 4639 1995-05-10 02:00:00
gn-logic14.tex 13379 1995-05-10 02:00:00

Down­load the com­plete con­tents of this di­rec­tory in one zip archive (68.8k).

gene-logic – Type­set logic for­mu­lae, 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.

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
Guest Book Sitemap Contact 2014-04-20 22:58 CEST