frege – Typeset fregean Begriffsschrift
The package defines a number of new commands for typesetting fregean Begriffsschrift in LaTeX.
It is loosely based on the package begriff, and offers a number of improvements including better relative lengths of the content stroke with respect to other strokes, content strokes that point at the middle of lines rather than the bottom, a greater width for the assertion stroke as compared to the content stroke, a more intuitive structure for the conditional, greater care taken to allow for the linewidth in the spacing of formulas.
GNU General Public License
|Contained in||TeX Live as frege|
|MiKTeX as frege|
typesetting logician’s discussions
support for typesetting mathematics
Download the contents of this package in one zip archive (146.1k).
Maybe you are interested in the following packages as well.
- lkproof: LK Proof figure macros
- synproof: Easy drawing of syntactic proofs
- fixmath: Make maths comply with ISO 31-0:1992 to ISO 31-13:1992
- halloweenmath: Scary and creepy math symbols with AMS-LaTeX integration