logic – A font for electronic logic design
A METAFONT font, and a minuscule set of macros for its use, designed in support of logic design diagrams.
|License||Unknown Status, No Information Available|
|Contained in||MiKTeX as logic|
support of electronic design|
Download the contents of this package in one zip archive (2.2k).
Maybe you are interested in the following packages as well.
- bguq: Improved quantifier stroke for Begriffsschrift packages
- logicproof: Box proofs for propositional and predicate logic
- frege: Typeset fregean Begriffsschrift
- synproof: Easy drawing of syntactic proofs