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.
- logicproof: Box proofs for propositional and predicate logic
- frege: Typeset fregean Begriffsschrift
- tikz-inet: Draw interaction nets with TikZ
- ptolemaicastronomy: Diagrams of sphere models for variably strict conditionals (Lewis counterfactuals)