CTAN Update: frege
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 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.