summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/frege/README
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2012-07-23 16:41:34 +0000
committerKarl Berry <karl@freefriends.org>2012-07-23 16:41:34 +0000
commitc47bc266846cc8bf776d79f1f54140443a8269a3 (patch)
tree9953ccd971ef82ecdaffc0909ebe4154bd8e2196 /Master/texmf-dist/doc/latex/frege/README
parent85374fe92189daeead769e66cac404573ae35352 (diff)
new latex package frege (15jul12)
git-svn-id: svn://tug.org/texlive/trunk@27106 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/frege/README')
-rw-r--r--Master/texmf-dist/doc/latex/frege/README111
1 files changed, 111 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/frege/README b/Master/texmf-dist/doc/latex/frege/README
new file mode 100644
index 00000000000..cac3957a85e
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/frege/README
@@ -0,0 +1,111 @@
+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 <josh@coombs.anu.edu.au>
+
+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.
+
+frege.sty defines the following more complex commands:
+\Fconditional[<option>]{<consequent>}{<antecedent>}
+\Fbox{<begriffsschrift formula with at least one conditional>}
+\Fbracket{<begriffsschrift formula with at least one conditional>}
+\Fargument[<premise 0>]{<premise 1>}{<premise 2>}{<conclusion>}
+\Fstrut[1]
+
+The final two have been added in version 1.2.
+
+The "Fconditional" command requires a mixture of the commands defined by frege.sty
+and normal mathmode input to produce begriffsschrift. A implies B would be written
+like this:
+
+\Fconditional[\Facontent]{\Fcontent B}{\Fcontent A}
+
+This produces the two dimensional fregean conditional symbol with B lined up above A.
+In addition the "Fconditional" command may be arbitrarily nested to produce any
+begriffsschrift formula possible. Only the unnested conditional requires the optional
+argument.
+
+"Fbracket" is just the same as "\left(\Fbox\right)" everything said about "Fbox"
+applies equally to "Fbracket". A completed formula of begriffsschrift that includes
+at least one conditional, should always be placed in an "Fbox" this ensures it is
+given enough space in the output behaves correctly with respect to the text around it
+and works correctly within environments such as align*.
+
+"Fargument" arranges two begriffsschrift formulas above each other and seperates them
+from a third by a horizontal line. The option is for the name of a premise written
+elsewhere and will outout (name): to the left of the horizontal line.
+
+"Fstrut" is like a invisible content stroke. Like all other basic strokes, it may be
+scaled using it's optional argument. Fstrut is to be used in conjunction with
+Fargument to ensure the formulas line up properly.
+
+The final result may also be modified by changing the following lengths using the
+\setlength{<lengthname>}{<value>} command. The lengths and there default values are
+given as follows:
+
+length: default value: description:
+\Fbaselength 20pt the length of a single basic stroke
+\Flinewidth 0.5pt the width of all lines other than the assert stroke
+\Fspace 2pt seperation between begriffsschrift and text/formula
+\Fassertwidth 3\Flinewidth the width of the assert stroke
+\Fraiseheight 1ex-\Flinewidth the height of content strokes above the baseline
+\Fnegsep 3\Flinewidth the sepparation between a double negation
+\Fnegshort 2\Flinewidth the space between negation stroke and baseline
+\Fquantwidth 6pt width of the semi circular quantifier depression
+
+For more examples see accompanying manual (Frege.pdf or Frege.tex)
+Everything released under GNU General Public License.