Comprehensive TeX Archive Network

Direc­tory macros/latex/contrib/gene/logic

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.

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