Index of /archives/text/CTAN/macros/plain/contrib/gfnotation

Icon  Name                                      Last modified      Size  Description
[PARENTDIR] Parent Directory                                               -   
[TXT] COPYING                                   2015-05-02 23:15   34K  
[   ] GFnotation-doc.pdf                        2015-05-02 23:16  163K  
[   ] GFnotation-doc.tex                        2015-05-02 23:15   45K  
[   ] GFnotation.tex                            2015-05-02 23:15   86K  
[TXT] README                                    2015-05-02 23:15  1.1K  

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