Index of /ctan/macros/plain/contrib/gfnotation/
Name | Last Modified | Size | Type |
../ | | - | Directory |
COPYING | 2015-May-02 14:15:16 | 34.3K | application/octet-stream |
GFnotation-doc.pdf | 2015-May-02 14:16:02 | 163.2K | application/pdf |
GFnotation-doc.tex | 2015-May-02 14:15:16 | 45.0K | application/x-tex |
GFnotation.tex | 2015-May-02 14:15:16 | 86.3K | application/x-tex |
README | 2015-May-02 14:15:16 | 1.1K | text/plain;charset=utf-8 |
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