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.
Quellen | /macros/latex/contrib/frege |
Dokumentation | |
Version | 1.3 |
Lizenzen | GNU General Public License |
Betreuer | Quirin Pamp |
Enthalten in | TeX Live als frege MiKTeX als frege |
Themen | Logik Mathematik |
Siehe auch | begriff bguq grundgesetze |
Herunterladen des vollständigen Inhalts dieses Pakets in einem Zip-Archiv (146.1k).
Ankündigungen
Vorschläge
Vielleicht sind auch die folgenden Pakete von Interesse.
Bewertungskommentare