diff options
Diffstat (limited to 'macros/latex/contrib/begriff/README')
-rw-r--r-- | macros/latex/contrib/begriff/README | 53 |
1 files changed, 53 insertions, 0 deletions
diff --git a/macros/latex/contrib/begriff/README b/macros/latex/contrib/begriff/README new file mode 100644 index 0000000000..c694c666a5 --- /dev/null +++ b/macros/latex/contrib/begriff/README @@ -0,0 +1,53 @@ +begriff.sty - a LaTeX2e package for typesetting begriffsschrift + +This style style can be used with LaTeX to typeset material written in +Frege's Begriffsschrift. It defines eight new LaTeX math mode commands: + +\BGassert - generates an assertion sign +\BGcontent - generates an assertion sign +\BGnot - generates a negation sign +\BGquant{v} - generates a universal quantifier with variable v +\BGconditional{a}{c} - generates a conditional with antecendent + a and consequent c. Note that in the Begriffsschrift, + the antecendent is placed below the consequent. + +(the following three commands were introduced in version 1.5) + +\BGterm{x} - creates a right-justified terminal node x +\BGstem{x} - inserts arbitrary LaTeX maths x into a non-terminal node +\BGbracket{x} - places the expression x inside brackets + +You also have the normal resources of LaTeX math mode, and (if you +have the amssymb package, AMS symbols) at your disposal; so, you can +use \mathfrak{v} to get a fraktur character, \acute{v} to get a +character with a slanting hat, and \alpha (etc.) to get greek letters. + +You can also tweak the appearance of the resulting material by +modifying the values of the following lengths: + +\BGthickness - the thickness of lines (by default 0.4pt, + bigger numbers = bolder) +\BGbeforelen - the length of line inserted before a begriffsschrift symbol +\BGafterlen - the length of line inserted after a begriffsschrift symbol +\BGspace - the length of space inserted between begriffsschrift and + normal maths + +(and, since version 1.5) + +\BGlinewidth - the total width of the diagram + +This is version 1.6 (20th May 2005) + +which includes: + +Changes made in October 2004 by Richard Heck <heck@fas.harvard.edu>
+Purpose of changes: To make the format of the formulae closer to how
+they are set in Frege's published works. +
+And some additional changes made by Josh Parsons (May 2005) to fix a problem with linespacing. + +The style file is hereby placed under the GNU General Public License. + +For more information, see: + +http://weka.ucdavis.edu/~ahwiki/bin/view/Main/BegriffsschriftLaTeX |