Suggestions for gene-logic

The following packages have something in common with the package gene-logic. The packages are ordered in decreasing similarity.

• eqname: Name tags for equations
• logictools: Additional tools for typesetting formal logic
• begriff: Typeset Begriffschrift
• frege: Typeset fregean Begriffsschrift
• grundgesetze: Typeset Frege’s Grundgesetze der Arithmetik
• productbox: Typeset a three-dimensional product box
• pl: Literate Programming for Prolog with LaTeX
• fitch: LaTeX macros for Fitch-style natural deduction
• turnstile: Typeset the (logic) turnstile notation
• luatruthtable: Generate truth tables of boolean values in LuaLaTeX
• truthtable: Automatically generate truth tables for given variables and statements
• gfnotation: Typeset Gottlob Frege's notation in plain TeX
• fodot: Helpful commands to work with the FODOT
• lkproof: LK Proof figure macros
• logicproof: Box proofs for propositional and predicate logic
• syllogism: Typeset syllogisms in LaTeX
• crossword: Typeset crossword puzzles
• temporal-logic: Symbols for Temporal Logics
• principia: Notations for typesetting the “Principia Mathematica”
• synproof: Easy drawing of syntactic proofs
• limap: Typeset maps and blocks according to the Information Mapping® method
• eqnalign: Make eqnarray behave like align
• inkpaper: A mathematical paper template
• phfthm: Goodies for theorems and proofs
• bguq: Improved quantifier stroke for Begriffsschrift packages
• overrightarrow: Doubled “over” arrow
• boldtensors: Bold latin and greek characters through simple prefix characters
• oops: A framework for making definitions, typically mathematical, inline
• mismath: Miscellaneous mathematical macros
• complexpolylongdiv: Typesetting (complex) polynomial long division
• delimseasy: Delimiter commands that are easy to use and resize