Este documento utiliza el paquete principia, que admite la notación lógica peanesa de los volúmenes I a III de Principia Mathematica de 1910, de Whitehead y Russell. El ejemplo de ocho páginas es una lista de definiciones numeradas al estilo del libro (por ejemplo, *1·01), con símbolos para implicación, negación, descripciones y clases. Está estructurado como un libro con amsmath, amssymb, mathrsfs, enumitem y hyperref.
Compartida bajo la LaTeX Project Public License 1.3c. Todo el mérito es de Landon D. C. Elkind; la licencia viene con los archivos del proyecto.