gfnotation – Typeset Gottlob Frege's notation in plain TeX
The package implements macros for plain TeX to typeset the notation invented by Gottlob Frege in 1879 for his books “Begriffsschrift” and “Grundgesetze der Arithmetik” (two volumes). The output styles of both books are supported.
|Licenses||GNU General Public License, version 3|
|Contained in||TeX Live as gfnotation|
MiKTeX as gfnotation
Download the contents of this package in one zip archive (183.1k).
Maybe you are interested in the following packages as well.
- logicproof: Box proofs for propositional and predicate logic
- syllogism: Typeset syllogisms in LaTeX
- synproof: Easy drawing of syntactic proofs
- automagic: Automagic numbering in Plain TeX