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.
|Contained in||MiKTeX as logic|
Download the contents of this package in one zip archive (2.2k).
Maybe you are interested in the following packages as well.
- lkproof: LK Proof figure macros
- frege: Typeset fregean Begriffsschrift
- gene-logic: Typeset logic formulae, etc
- ptolemaicastronomy: Diagrams of sphere models for variably strict conditionals (Lewis counterfactuals)