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.
- lkproof: LK Proof figure macros
- synproof: Easy drawing of syntactic proofs
- bguq: Improved quantifier stroke for Begriffsschrift packages
- harvmac: Macros for scientific articles