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