The LaTeX package gene-logic

Typeset logic in LaTeX

Author

  Gerd Neugebauer
  Brechklinge 10
  69256 Mauer (Germany)
  gene@gerd-neugebauer.de

License

gn-logic.sty is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY. No author or distributor accepts responsibility to anyone for the consequences of using it or for whether it serves any particular purpose or works at all, unless he says so in writing.

Everyone is granted permission to copy, modify and redistribute gn-logic.sty, provided this copyright notice is preserved and any modifications are indicated.