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.
- gene-logic: Typeset logic formulae, etc
- logicproof: Box proofs for propositional and predicate logic
- lkproof: LK Proof figure macros
- histyle: A "HighStyle" environment for TeX