CTAN update: principia

CTAN Announcements ctan-ann at ctan.org
Thu Feb 25 08:37:08 CET 2021

Landon D. C. Elkind submitted an update to the



Version number: 1.2
License type: lppl1.3c

Summary description: Notations for typesetting the “Principia Mathematica”

Announcement text:

Minor updates to principia package: bold truth-functional connectives,
existential quantifier, definite description iota sign, class, and
relation signs. Added commands for meta-theory.


This package is located at 

More information is at


   Thanks for the upload.

     For the CTAN Team
    Manfred Lotz

CTAN is run entirely by volunteers and supported by TeX user groups.
Please join a user group or donate to one, see https://ctan.org/lugs .

More information about the Ctan-ann mailing list