summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/plain/gfnotation/README
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/plain/gfnotation/README')
-rw-r--r--Master/texmf-dist/doc/plain/gfnotation/README33
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