CTAN Comprehensive TeX Archive Network

frege – Typeset fregean Begriffsschrift

The package defines a number of new commands for typesetting fregean Begriffsschrift in .

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.

Sources/macros/latex/contrib/frege
Documentation
Version1.3
LicensesGNU General Public License
MaintainerQuirin Pamp
Contained inTeX Live as frege
MiKTeX as frege
TopicsMaths
Logic
See alsogrundgesetze
begriff
bguq

Download the contents of this package in one zip archive (146.1k).

Community Comments

Loading...

Announcements

Here you can see a respective diagram in newer browsers.

more

Guest Book Sitemap Contact Contact Author