From e0c6872cf40896c7be36b11dcc744620f10adf1d Mon Sep 17 00:00:00 2001 From: Norbert Preining Date: Mon, 2 Sep 2019 13:46:59 +0900 Subject: Initial commit --- macros/latex/contrib/frege/README | 131 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 131 insertions(+) create mode 100644 macros/latex/contrib/frege/README (limited to 'macros/latex/contrib/frege/README') diff --git a/macros/latex/contrib/frege/README b/macros/latex/contrib/frege/README new file mode 100644 index 0000000000..ee6c95c4a2 --- /dev/null +++ b/macros/latex/contrib/frege/README @@ -0,0 +1,131 @@ +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[