Welcome to ftp.nluug.nl Current directory: /pub/ftp/ibiblio/distributions/CTAN/macros/plain/contrib/gfnotation/ |
|
Contents of README:GFnotation.tex implements macros to typeset formulas and inferences in Gottlob Frege's notation that is used in his book ``Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens'' or in the style of his main work ``Grundgesetze der Arithmetik.'' Besides the two output styles the macros provide two input styles. A ``symbolic representation'' that codes each element of the notation with three symbols. And a ``short form'' that generates the notation recursively from a sequential input. This package is released under the GNU General Public License. See the file COPYING. The package requires the following files and packages from CTAN: 1) amssym.def (from amstex) 2) amsfonts 3) rotate.tex 4) fge fonts (optional) You need item 4) to compile the users guide. The package consists of the following files: gfnotation.tex -- the macros for the notation version 2.9, 29.03.2015 gfnotation-doc.pdf -- a users guide gfnotation-doc.tex -- the source of the users guide README -- this file Copyright (C) 2015 Udo Wermuth (author) u dot wermuth (at) icloud dot com |
Name Last modified Size
Parent Directory - COPYING 02-May-2015 16:15 34K GFnotation-doc.pdf 02-May-2015 16:16 163K GFnotation-doc.tex 02-May-2015 16:15 45K GFnotation.tex 02-May-2015 16:15 86K README 02-May-2015 16:15 1.1K
NLUUG - Open Systems. Open Standards
Become a member
and get discounts on conferences and more, see the NLUUG website!