diff options
Diffstat (limited to 'Master/texmf-dist/doc/plain/gfnotation/README')
-rw-r--r-- | Master/texmf-dist/doc/plain/gfnotation/README | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/plain/gfnotation/README b/Master/texmf-dist/doc/plain/gfnotation/README new file mode 100644 index 00000000000..04e678e9259 --- /dev/null +++ b/Master/texmf-dist/doc/plain/gfnotation/README @@ -0,0 +1,33 @@ +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 |