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.

Packagefrege
Version1.3
MaintainerQuirin Pamp

Announcements

more

Guest Book Sitemap Contact Contact Author