Comprehensive TeX Archive Network

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


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

Down­load the con­tents of this pack­age 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.

Pack­age De­tailsgene-logic
Li­censeFree li­cense not oth­er­wise listed, or more than one free li­cense ap­plies
Main­tainerGerd Neuge­bauer
Con­tained inTeX Live as gene-logic
MiKTeX as gn-logic
Topics sup­port for type­set­ting math­e­mat­ics
Guest Book Sitemap Contact Contact Author