LaTeX packages

The following packages provide commands for typesetting Frege’s logical notation:

begriff

A package designed for typesetting the Begriffsschrift.

frege

An evolution of the begriff package, again primarily designed for typesetting Begriffsschrift.

grundgesetze

Another extension of the begriff package, adapted to typeset the logic of Grundgesetze.

fge

A font for typesetting Grundgesetze, including definitions of Frege’s defined function symbols.