As part of the Principia Rewrite project I am undertaking, I created and published a new LaTeX package for typesetting Principia Mathematica. It is creatively named ‘principia’ and covers all notations through Volume I. Updates to include Volumes II and III are planned.

If you ever wanted to type square dots, now you can! Just input “\pmdot” – or, if you want two dots, “\pmdott”, and so on. What about Principia‘s famous eight-pointed asterisk and slightly-raised dot for theorem numbering? Now you can just type “\pmast” and “\pmcdot” to reproduce them! Here’s a sample picture of the result (here’s the corresponding page of Principia Vol. I):

What about Principia‘s notoriously misaligned existential quantifier? (It was originally typeset by rotating an “E” backwards, causing it to be partly below the text line.) Now you can just type “\pmsome{z}” to get Principia‘s symbol! (You can also type “\pmSome” to get the symbol without an argument.) Here’s a sample (and the corresponding page in the original):

There’s a lot more included in the package: the slightly rounder class intersection and union signs; the analogues for relations with dots in them; the circumflex for class and relation symbols; and of course, the rotated iota for definite descriptions. For more details, check out the package documentation! Comments and suggestions are welcome.