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.