frege.sty - a LaTeX2e package for typesetting begriffsschrift
This package is based on begriff.sty released under the GNU General Public License.
Copyright (C) 2003 by Josh Parsons
Since version 1.3 this package also makes use of the bguq package by J.J. Green.
Changes with respect to begriff.sty
correct relative lengths of the content stroke with respect to other strokes
attached to it;
content strokes point at the middle of the following symbols, rather than the bottom;
greater width for the assertion stroke as compared to the content stroke;
a more intuitive structure for the conditional (arguments are now given in the same
order as they appear on the left of a completed formula);
the command for the conditional with empty arguments now results in a vertical line
(conditional stroke) on it's own the other strokes are added as the arguments;
the linewidth is properly accounted for so that things remain properly centered when
scaled;
frege.sty defines the following basic commands:
\Fcontent[1] - plain content stroke
\Fncontent[1] - negated content stroke
\Fnncontent[1] - twice negated content stroke
\Faconten[1] - asserted content stroke
\Fancontent[1] - asserted negated content stroke
\Fanncontent[1] - asserted twice negated content stroke
\Fquant[1]{a} - content stroke with quantifier
\Fnquant[1]{a} - negated quantifier
\Fnnquant[1]{a} - twice negated quantifier
\Fquantn[1]{a} - quantifier with negated content
\Fquantnn[1]{a} - quantifier with twice negated content
\Fnquantn[1]{a} - negated quantifier with negated content
\Fnquantnn[1]{a} - negated quantifier with twice negated content
\Fnnquantn[1]{a} - twice negated quantifier with negated content
\Fnnquantnn[1]{a} - twice negated quantifier with twice negated content
\Faquant[1]{a} - asserted content stroke with quantifier
\Fanquant[1]{a} - asserted negated quantifier
\Fannquant[1]{a} - asserted twice negated quantifier
\Faquantn[1]{a} - asserted quantifier with negated content
\Faquantnn[1]{a} - asserted quantifier with twice negated content
\Fanquantn[1]{a} - asserted negated quantifier with negated content
\Fanquantnn[1]{a} - asserted negated quantifier with twice negated content
\Fannquantn[1]{a} - asserted twice negated quantifier with negated content
\Fannquantnn[1]{a} - asserted twice negated quantifier with twice negated content
while this may look like a daunting list think of it as just two commands:
\Fcontent[1] - generates a content stroke
\Fquant[1]{a} - generates a quantifier with variable a
Adding an "a" after the "\F" adds an assertion stroke to the front of the command,
this may be followed by one two or no "n" to add one two or no negations to the
stroke. Next comes the name of the command either "content" or "quant". "quant" may
then be followed by another one two or no "n" which will add one two or no negations
after the quantifier to it's content stroke. All commands may be used in either text
or math mode. All the above commands produce output of the same length and may be
arbitrarly combined to produce longer composite formulas. Since version 1.1 each of
the basic strokes also has an optional argument with default value one, that scales
the total length of the stroke (\Fbaselength), so that an optional argument of [.5]
will produce a stroke half as long. Warning: setting a length shorter than what is
needed to fit all the options of a stroke leads to negative lengths and hence
unpredictable results.
Since version 1.3 it is also possible to call all the above commands without the
word "content" for the content strokes and with just "q" instead of the word "quant"
for the quantifiers.
frege.sty defines the following more complex commands:
\Fconditional[