CTAN Comprehensive TeX Archive Network

CTAN Update: frege

Date: August 17, 2012 6:25:16 PM CEST
On Wed, 15 Aug 2012 Quirin Pamp submitted an update to the frege package. Summary description: Typeset fregean Begriffsschrift. License type: gpl Announcement text:
Main updates: - Added optional shorthand for all commands for greater efficiency of usage. - Added option bguq to the package which causes all quantifiers to be typeset with the bguq font by J. J. Green. (http://www.ctan.org/pkg/bguq)
This package is located at http://mirror.ctan.org/macros/latex/contrib/frege . More information is at http://www.ctan.org/pkg/frege (if the package is new it may take a day for that information to appear). We are supported by the TeX Users Group http://www.tug.org . Please join a users group; see http://www.tug.org/usergroups.html .
Thanks for the upload. For the CTAN Team Rainer Schöpf

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.

MaintainerQuirin Pamp



Guest Book Sitemap Contact Contact Author