LogicalAtomist/principia-rewrite

The Principia Rewrite

TeX

230

63 commits

updated Jul 19, 2026

See the code

README

principia.sty - a LaTeX2e package for typesetting the "Peanese" notation of Whitehead and Russell's 1910 "Principia Mathematica".

The file principia.sty is the original work of Landon D. C. Elkind (Copyright (c) 2025). It is released under the LaTeX Project Public License 1.3c.

This is principia package Version 3.2 (2025/01/30). This version covers typesetting the notations through Volumes I-III of "Principia Mathematica" and includes some commands to facilitate typesetting the appendices to Volume I and fixes (especially to square dots). See the file principia.pdf for information on these changes and for further information on how to typeset Peanese symbols in LaTeX with the principia package.

Changes between version updates can be found at https://logicalatomist.github.io/principia/

Comments and suggestions are welcomed by the package maintainer, signed below.

Landon D. C. Elkind
Western Kentucky University

Not written in Markdown, so it's shown here as plain text — view it formatted on GitHub.

coq
coq-ecosystem
formal-logic
formal-mathematics
formal-proofs
history-of-philosophy
latex
latex-packages
logic

Contributors

LogicalAtomist

60 commits

MudroadWhite

3 commits

LogicalAtomist/principia-rewrite

The Principia Rewrite

TeX

230

63 commits

updated Jul 19, 2026

See the code

README

principia.sty - a LaTeX2e package for typesetting the "Peanese" notation of Whitehead and Russell's 1910 "Principia Mathematica".

The file principia.sty is the original work of Landon D. C. Elkind (Copyright (c) 2025). It is released under the LaTeX Project Public License 1.3c.

This is principia package Version 3.2 (2025/01/30). This version covers typesetting the notations through Volumes I-III of "Principia Mathematica" and includes some commands to facilitate typesetting the appendices to Volume I and fixes (especially to square dots). See the file principia.pdf for information on these changes and for further information on how to typeset Peanese symbols in LaTeX with the principia package.

Changes between version updates can be found at https://logicalatomist.github.io/principia/

Comments and suggestions are welcomed by the package maintainer, signed below.

Landon D. C. Elkind
Western Kentucky University

Not written in Markdown, so it's shown here as plain text — view it formatted on GitHub.

coq
coq-ecosystem
formal-logic
formal-mathematics
formal-proofs
history-of-philosophy
latex
latex-packages
logic

Contributors

LogicalAtomist

60 commits

MudroadWhite

3 commits

Languages

TeX

56.1%

Coq

43.9%