This template is the manual for principia.sty, version 3.4, by Landon D. C. Elkind. The package typesets the Peanese notation of Principia Mathematica, which Whitehead and Russell took in large part from Peano. The five-page article shows the macros with examples and loads amsmath, amssymb, graphicx, pifont and setspace. Use it as a model for writing logic in this notation.
Shared under the LaTeX Project Public License 1.3c. All credit to Landon D. C. Elkind; the licence comes with the project's files.