principia (17dec24)

git-svn-id: svn://tug.org/texlive/trunk@73146 c570f23f-e606-0410-a88d-b1316a301751

7 files changed, 223 insertions, 114 deletions

diff --git a/Master/texmf-dist/doc/latex/principia/List-of-Definitions.pdf b/Master/texmf-dist/doc/latex/principia/List-of-Definitions.pdf
new file mode 100644
index 00000000000..2d555fb450c
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/principia/List-of-Definitions.pdf
diff --git a/Master/texmf-dist/doc/latex/principia/List_of_Definitions.tex b/Master/texmf-dist/doc/latex/principia/List-of-Definitions.tex
index 7377911b3a5..9f55a436dcb 100644
--- a/Master/texmf-dist/doc/latex/principia/List_of_Definitions.tex
+++ b/Master/texmf-dist/doc/latex/principia/List-of-Definitions.tex
@@ -29,6 +29,26 @@
 %Mathematical logic
 %The theory of deduction
 %Meta-logical symbols
+\newcommand{\ie}{\textit{i}.\textit{e}.\ }
+\newcommand{\Ie}{\textit{I}.\textit{e}.\ }
+\newcommand{\eg}{\textit{e}.\textit{g}.\ }
+\newcommand{\Eg}{\textit{E}.\textit{g}.\ }
+\newcommand{\pmsch}[1]{\pmast#1} %Starred chapter
+\newcommand{\pmschs}[2]{\pmast#1\text{---}\pmast#2} %Starred chapter
+\newcommand{\pmsns}[3]{\pmast#1\pmcdot#2\text{---}\pmcdot#3}%Starred number
+\newcommand{\pmpsn}[2]{(\pmast#1\pmcdot#2)} 
+\newcommand{\pmpsnn}[3]{(\pmast#1\pmcdot#2\pmcdot#3)} 
+\newcommand{\pmsn}[2]{\pmast#1\pmcdot#2} 
+\newcommand{\pmnsn}[1]{\text{#1}}
+\newcommand{\pmsnn}[3]{\pmast#1\pmcdot#2\pmcdot#3}
+\newcommand{\pmsnnn}[4]{\pmast#1\pmcdot#2\pmcdot#3\pmcdot#4}
+\newcommand{\pmsnnnn}[5]{\pmast#1\pmcdot#2\pmcdot#3\pmcdot#4\pmcdot#5}
+\newcommand{\pmsnnnnn}[6]{\pmast#1\pmcdot#2\pmcdot#3\pmcdot#4\pmcdot#5\pmcdot#6}
+\newcommand{\pmsnb}[2]{\boldsymbol{\pmast#1\pmcdot#2}} %Starred number boldface
+\newcommand{\pmsnnb}[3]{\boldsymbol{\pmast#1\pmcdot#2\pmcdot#3}}
+\newcommand{\pmsnnnb}[4]{\boldsymbol{\pmast#1\pmcdot#2\pmcdot#3\pmcdot#4}}
+\newcommand{\pmsnnnnb}[5]{\boldsymbol{\pmast#1\pmcdot#2\pmcdot#3\pmcdot#4\pmcdot#5}}
+\newcommand{\pmsnnnnnb}[6]{\boldsymbol{\pmast#1\pmcdot#2\pmcdot#3\pmcdot#4\pmcdot#5\pmcdot#6}}
 \newcommand{\pmfd}{\begin{center} \rule{5cm}{.5pt} \end{center}} %Dividing line between introductory remarks in a starred number and the formal deductions.
 \newcommand{\pmdem}{\textit{Dem}.} %This notation begins a proof.
 \newcommand{\pmdemi}{\indent \pmdem} %This idents the notation that begins a proof.
@@ -43,7 +63,7 @@
 \newcommand{\pmSub}[3]{\bigg \lbrack \normalsize #1 \text{ } \small \begin{array}{c} #2 \\ \hline #3 \end{array}  \bigg \rbrack} %This is the substitution command.
 \newcommand{\pmSubb}[5]{\bigg \lbrack \normalsize #1 \text{ } \small \begin{array}{c c} #2, & #4 \\ \hline #3, & #5 \end{array}  \bigg \rbrack} %This is the substitution command.
 \newcommand{\pmSubbb}[7]{\bigg \lbrack \normalsize #1 \text{ } \small \begin{array}{c c c} #2, & #4, & #6 \\ \hline #3, & #5, & #7 \end{array}  \bigg \rbrack} %This is the substitution command.
-\newcommand{\pmSubbbb}[9]{\bigg \lbrack \normalsize #1 \text{ } \small \begin{array}{c c c c} #1, & #3, & #5, & #7 \\ \hline #2, & #4, & #6, & #8 \end{array} \bigg \rbrack} %This is the substitution command.
+\newcommand{\pmSubbbb}[9]{\bigg \lbrack \normalsize #1 \text{ } \small \begin{array}{c c c c} #2, & #4, & #6, & #8 \\ \hline #3, & #5, & #7, & #9 \end{array} \bigg \rbrack} %This is the substitution command.
 \newcommand{\pmsUb}[2]{\small \begin{array}{c} #1 \\ \hline #2 \end{array}} %This is the substitution command.
 \newcommand{\pmsUbb}[4]{\small \begin{array}{c c} #1, & #3 \\ \hline #2, & #4 \end{array}} %This is the substitution command.
 \newcommand{\pmsUbbb}[6]{\small \begin{array}{c c c} #1, & #3, & #5 \\ \hline #2, & #4, & #6 \end{array}} %This is the substitution command.
@@ -51,34 +71,38 @@
 \newcommand{\pmSUb}[3]{\normalsize #1 \text{ } \small \begin{array}{c} #2 \\ \hline #3 \end{array}} %This is the substitution command.
 \newcommand{\pmSUbb}[5]{\normalsize #1 \text{ } \small \begin{array}{c c} #2, & #4 \\ \hline #3, & #5 \end{array}} %This is the substitution command.
 \newcommand{\pmSUbbb}[7]{\normalsize #1 \text{ } \small \begin{array}{c c c} #2, & #4, & #6 \\ \hline #3, & #5, & #7 \end{array}} %This is the substitution command.
-\newcommand{\pmSUbbbb}[9]{\normalsize #1 \text{ } \small \begin{array}{c c c c} #1, & #3, & #5, & #7 \\ \hline #2, & #4, & #6, & #8 \end{array}} %This is the substitution command.
+\newcommand{\pmSUbbbb}[9]{\normalsize #1 \text{ } \small \begin{array}{c c c c} #2, & #4, & #6, & #8 \\ \hline #3, & #5, & #7, & #9 \end{array}} %This is the substitution command.
 \newcommand{\pmthm}{\mathpunct{\text{\scalebox{.5}[1]{$\boldsymbol\vdash$}}}} %This is the theorem sign.
 \newcommand{\pmast}{\text{\resizebox{!}{.75\height}{\ding{107}}}} %This is the sign introducing a theorem number.
-\newcommand{\pmcdot}{\text{\raisebox{.05cm}{$\boldsymbol{\cdot}$}}} %This is a sign introducing a theorem sub-number.
+\newcommand{\pmcdot}{\text{\raisebox{.05cm}{$\boldsymbol\cdot$}}} %This is a sign introducing a theorem sub-number.
 \newcommand{\pmiddf}{\mathbin{=}}
 \newcommand{\pmdf}{\quad \text{Df}}
+\newcommand{\pmDf}{\text{Df}}
 \newcommand{\pmpp}{\quad \text{Pp}}
 
 %Square dots for scope, defined for up to six dots
-\newcommand{\pmdot}{\mathrel{\hbox{\rule{.3ex}{.3ex}}}}
-\newcommand{\pmdott}{\mathrel{\overset{\pmdot}{\pmdot}}}
-\newcommand{\pmdottt}{\pmdott\hspace{.1em}\pmdot}
-\newcommand{\pmdotttt}{\pmdott\hspace{.1em}\pmdott}
-\newcommand{\pmdottttt}{\pmdott\hspace{.1em}\pmdott\hspace{.1em}\pmdot}
-\newcommand{\pmdotttttt}{\pmdott\hspace{.1em}\pmdott\hspace{.1em}\pmdott}
+\newcommand{\pmd}{\hbox{\rule{.3ex}{.3ex}}} %single square dot
+\newcommand{\pmdd}{\overset{\pmd}{\pmd}} %vertically aligned pair of square dots
+\newcommand{\pmdot}{\mathinner{\pmd}}
+\newcommand{\pmdott}{\mathinner{\pmdd}}
+\newcommand{\pmdottt}{\mathinner{\pmdd\hspace{1pt}\pmd}}
+\newcommand{\pmdotttt}{\mathinner{\pmdd\hspace{1pt}\pmdd}}
+\newcommand{\pmdottttt}{\mathinner{\pmdd\hspace{1pt}\pmdd\hspace{1pt}\pmd}}
+\newcommand{\pmdotttttt}{\mathinner{\pmdd\hspace{1pt}\pmdd\hspace{1pt}\pmdd}}
 
 %Logical connectives
 \newcommand{\pmnot}{\mathord{\ooalign{$\boldsymbol{\sim}\mkern.5mu$\hidewidth\cr$\boldsymbol{\sim}$\cr\hidewidth$\mkern.5mu\boldsymbol{\sim}$}}}
 \newcommand{\pmor}{\mathbin{\ooalign{$\boldsymbol{\vee}\mkern.5mu$\hidewidth\cr$\boldsymbol{\vee}$\cr\hidewidth$\mkern.5mu\boldsymbol{\vee}$}}}
 \newcommand{\pmimp}{\mathbin{\ooalign{$\boldsymbol{\supset}\mkern.5mu$\hidewidth\cr$\boldsymbol{\supset}$\cr\hidewidth$\mkern.5mu\boldsymbol{\supset}$}}} %1.01
-\newcommand{\pmand}{\mathrel{\hbox{\rule{.3ex}{.3ex}}}} %3.01
-\newcommand{\pmandd}{\overset{\pmand}{\pmand}}
-\newcommand{\pmanddd}{\pmandd\hspace{.1em}\pmand}
-\newcommand{\pmandddd}{\pmandd\hspace{.1em}\pmandd}
-\newcommand{\pmanddddd}{\pmandd\hspace{.1em}\pmandd\hspace{.1em}\pmand}
-\newcommand{\pmandddddd}{\pmandd\hspace{.1em}\pmandd\hspace{.1em}\pmandd}
+\newcommand{\pmand}{\mathbin{\pmd}}%3.01
+\newcommand{\pmandd}{\mathbin{\pmdd}}
+\newcommand{\pmanddd}{\mathbin{\pmdd\hspace{1pt}\pmd}}
+\newcommand{\pmandddd}{\mathbin{\pmdd\hspace{1pt}\pmdd}}
+\newcommand{\pmanddddd}{\mathbin{\pmdd\hspace{1pt}\pmdd\hspace{1pt}\pmd}}
+\newcommand{\pmandddddd}{\mathbin{\pmdd\hspace{1pt}\pmdd\hspace{1pt}\pmdd}}
 \newcommand{\pmprod}{\mathbin{\ooalign{$\boldsymbol{\wedge}\mkern.5mu$\hidewidth\cr$\boldsymbol{\wedge}$\cr\hidewidth$\mkern.5mu\boldsymbol{\wedge}$}}} %Not in Principia, but added here as a dual of its symbol for disjunction.
 \newcommand{\pmiff}{\mathbin{\ooalign{$\boldsymbol{\equiv}\mkern.5mu$\hidewidth\cr$\boldsymbol{\equiv}$\cr\hidewidth$\mkern.5mu\boldsymbol{\equiv}$}}} %4.01
+\newcommand{\pminc}{\mathbin{|}} %8.01
 
 %The theory of apparent variables
 \newcommand{\pmall}[1]{(#1)}
@@ -86,25 +110,35 @@
 \newcommand{\pmSome}{\text{\raisebox{.5em}{\rotatebox{180}{\textbf{E}}}}}
 
 %Additional defined logic signs
-\newcommand{\pmhat}[1]{\mathbf{\hat{\text{$#1$}}}}
-\newcommand{\pmbreve}[1]{\mathbf{\breve{\text{$#1$}}}}
-\newcommand{\pmcirc}[1]{\mathbf{\dot{\text{$#1$}}}}
+\newcommand{\pmhat}[1]{\hat{#1}}
+\newcommand{\pmbreve}[1]{\boldsymbol{\breve{#1}}}
+\newcommand{\pmcirc}[1]{\boldsymbol{\dot{\text{$#1$}}}}
 \newcommand{\pmpf}[2]{#1#2} %for propositional functions of one variable
 \newcommand{\pmpff}[3]{#1(#2, #3)} %for propositional functions of two variables
 \newcommand{\pmpfff}[4]{#1(#2, #3, #4)} %for propositional functions of three variables
+\newcommand{\pmpffff}[5]{#1(#2, #3, #4, #5)} %for propositional functions of four variables (including ellipses)
+\newcommand{\pmppf}[2]{#1\pmshr#2} %for propositional predicative functions of one variable
+\newcommand{\pmppff}[3]{#1\pmshr(#2, #3)} %for propositional predicative functions of two variables
 \newcommand{\pmshr}{\textbf{!}} %*12.1 and *12.11, used for predicative propositional functions
 \newcommand{\pmpred}[2]{#1\pmshr#2} %for predicates (``predicative functions'') of one variable
 \newcommand{\pmpredd}[3]{#1\pmshr(#2, #3)} %for predicates (``predicative functions'') of two variables
 \newcommand{\pmpreddd}[4]{#1\pmshr(#2, #3, #4)} %for predicates (``predicative functions'') of three variables
+\newcommand{\pmpredddd}[5]{#1\pmshr(#2, #3, #4, #5)} %for predicates (``predicative functions'') of four variables
+\newcommand{\pmpreddddd}[6]{#1\pmshr(#2, #3, #4, #5, #6)} %for predicates (``predicative functions'') of five variables
+\newcommand{\pmpredddddd}[7]{#1\pmshr(#2, #3, #4, #5, #6, #7)} %for predicates (``predicative functions'') of six variables
+\newcommand{\pmid}{\mathbin{=}}
 \newcommand{\pmnid}{\mathrel{\ooalign{$=$\cr\hidewidth\footnotesize\rotatebox[origin=c]{210}{\textbf{/}}\hidewidth\cr}}} %*13.02
-\newcommand{\pmiota}{\ooalign{\rotatebox[origin=c]{180}{$\mathbf{\iota}$}\cr\hidewidth\raisebox{.0125em}{\rotatebox[origin=c]{180}{$\mathbf{\iota}$}}\cr\hidewidth\raisebox{.025em}{\rotatebox[origin=c]{180}{$\mathbf{\iota}$}}\cr\hidewidth\raisebox{.0375em}{\rotatebox[origin=c]{180}{$\mathbf{\iota}$}}\cr\hidewidth\raisebox{.05em}{\rotatebox[origin=c]{180}{$\mathbf{\iota}$}}}} %the rotated Greek iota used in definite descriptions
+\newcommand{\pmiota}{\ooalign{\rotatebox[origin=c]{180}{$\boldsymbol{\iota}$}\cr\hidewidth\raisebox{.0125em}{\rotatebox[origin=c]{180}{$\boldsymbol{\iota}$}}\cr\hidewidth\raisebox{.025em}{\rotatebox[origin=c]{180}{$\boldsymbol{\iota}$}}\cr\hidewidth\raisebox{.0375em}{\rotatebox[origin=c]{180}{$\boldsymbol{\iota}$}}\cr\hidewidth\raisebox{.05em}{\rotatebox[origin=c]{180}{$\boldsymbol{\iota}$}}}} %the rotated Greek iota used in definite descriptions
 \newcommand{\pmdsc}[1]{(\pmiota#1)} %*14.01
+\newcommand{\pmthe}[2]{(\pmiota#1)(#2 #1)} %*14.01
+\newcommand{\pmtheb}[2]{[(\pmiota#1)(#2 #1)]} %*14.01
 \newcommand{\pmDsc}{\pmiota} 
 \newcommand{\pmexists}{\textbf{E}\hspace{.1em}\pmshr} %*14.02
 
 %Classes and relations
 %Class signs
 \newcommand{\pmcls}[2]{\pmhat{#1}(#2)} %20.01
+\newcommand{\pmclsb}[2]{\pmhat{#1}\{#2\}} %20.01 with curly brackets
 \newcommand{\pmcin}{\mathop{\boldsymbol{\epsilon}}} %20.02
 \newcommand{\pmCls}{\text{Cls}} %20.03
 \newcommand{\pmClsn}[1]{\text{Cls}^{#1}}
@@ -115,31 +149,32 @@
 \newcommand{\pmccmp}[1]{\boldsymbol{-}#1} %22.04
 \newcommand{\pmcmin}[2]{#1\boldsymbol{-}#2} %22.05
 \newcommand{\pmcuni}{\text{\rotatebox[origin=c]{180}{$\Lambda$}}} %24.01
-\newcommand{\pmcnull}{\mathrm{\Lambda}} %24.02
+\newcommand{\pmcnull}{\Lambda} %24.02
 \newcommand{\pmcexists}{\text{\raisebox{.5em}{\rotatebox{180}{\textbf{E}}}}\hspace{-.1em}\mathop{\pmshr}} %24.03
 
 %Relation signs
 \newcommand{\pmrel}[3]{\pmhat{#1}\pmhat{#2}#3} %21.01
+\newcommand{\pmrelb}[3]{\pmhat{#1}\pmhat{#2}\{#3\}} %21.01
 \newcommand{\pmrele}[5]{#1\{\pmhat{#2}\pmhat{#3}#4(#2, #3)\}#5} %21.02
 \newcommand{\pmrelep}[3]{#1\{#2\}#3} %21.08, 21.081, 21.082, etc.
-\newcommand{\pmrcmp}[1]{\ooalign{$\hidewidth\raisebox{.25em}{$\boldsymbol{\cdot}$}\hidewidth$\cr$\mathbf{\pmccmp}$}#1} %23.04
-\newcommand{\pmrmin}[2]{#1\mathrel{\ooalign{$\hidewidth\raisebox{.25em}{$\boldsymbol{\cdot}$}\hidewidth$\cr$\mathbf{\pmccmp}$}}#2} %23.05
+\newcommand{\pmrcmp}[1]{\ooalign{$\hidewidth\raisebox{.25em}{$\boldsymbol{\cdot}$}\hidewidth$\cr$\boldsymbol{\pmccmp}$}#1} %23.04
+\newcommand{\pmrmin}[2]{#1\mathrel{\ooalign{$\hidewidth\raisebox{.25em}{$\boldsymbol{\cdot}$}\hidewidth$\cr$\boldsymbol{\pmccmp}$}}#2} %23.05
 \newcommand{\pmruni}{\pmcirc{\text{\rotatebox[origin=c]{180}{$\Lambda$}}}} %25.01
-\newcommand{\pmrnull}{\pmcirc{\mathrm{\Lambda}}} %25.02
+\newcommand{\pmrnull}{\pmcirc{\Lambda}} %25.02
 \newcommand{\pmrexists}{\pmcirc{\mathop{\text{\raisebox{.5em}{\rotatebox{180}{E}}}}}\mathop{\pmshr}} %25.03
-\newcommand{\pmrinc}{\mathrel{\ooalign{$\hidewidth\boldsymbol{\cdot}\hidewidth$\cr$\mathbf{\pmcinc}$}}} %23.01
-\newcommand{\pmrcap}{\mathrel{\ooalign{$\hidewidth\raisebox{.3em}{$\boldsymbol{\cdot}$}\hidewidth$\cr$\mathbf{\pmccap}$}}} %23.02
-\newcommand{\pmrcup}{\mathrel{\ooalign{$\hidewidth\raisebox{.1em}{$\boldsymbol{\cdot}$}\hidewidth$\cr$\mathbf{\pmccup}$}}} %23.03
+\newcommand{\pmrinc}{\mathrel{\ooalign{$\hidewidth\boldsymbol{\cdot}\hidewidth$\cr$\boldsymbol{\pmcinc}$}}} %23.01
+\newcommand{\pmrcap}{\mathrel{\ooalign{$\hidewidth\raisebox{.3em}{$\boldsymbol{\cdot}$}\hidewidth$\cr$\boldsymbol{\pmccap}$}}} %23.02
+\newcommand{\pmrcup}{\mathrel{\ooalign{$\hidewidth\raisebox{.1em}{$\boldsymbol{\cdot}$}\hidewidth$\cr$\boldsymbol{\pmccup}$}}} %23.03
 
 %Logic of Relations
 \newcommand{\pmdscf}[2]{#1\textbf{`}#2} %30.01
 \newcommand{\pmcnv}[1]{\text{Cnv}\textbf{`}#1} %31.01
 \newcommand{\pmCnv}{\text{Cnv}}
 \newcommand{\pmcrel}[1]{\pmbreve{#1}} %31.02
-\newcommand{\pmrrf}[2]{\overset{\boldsymbol{\rightarrow}}{#1\textbf{`}}#2} %32.01
-\newcommand{\pmRrf}[1]{\overset{\boldsymbol{\rightarrow}}{#1}} 
-\newcommand{\pmrrl}[2]{\overset{\boldsymbol{\leftarrow}}{#1\textbf{`}}#2} %32.02
-\newcommand{\pmRrl}[1]{\overset{\boldsymbol{\leftarrow}}{#1}}
+\newcommand{\pmrrf}[2]{\overrightarrow{#1}\textbf{`}#2} %32.01
+\newcommand{\pmRrf}[1]{\overrightarrow{#1}} 
+\newcommand{\pmrrl}[2]{\overleftarrow{#1}\textbf{`}#2} %32.02
+\newcommand{\pmRrl}[1]{\overleftarrow{#1}}
 \newcommand{\pmsg}[1]{\text{sg}\textbf{`}#1} %32.03
 \newcommand{\pmSg}{\text{sg}}
 \newcommand{\pmgs}[1]{\text{gs}\textbf{`}#1} %32.04
@@ -237,44 +272,62 @@
 \newcommand{\pmoneone}{1\boldsymbol{\to}1}
 
 %Selections
-\newcommand{\pmselp}[1]{P_{\small\Delta}\mathbf{`}#1} %80.01
+\newcommand{\pmselp}[1]{P_{\small\Delta}\boldsymbol{`}#1} %80.01
 \newcommand{\pmSelp}{P_{\Delta}}
-\newcommand{\pmsele}[1]{\pmcin_{\small\Delta}\mathbf{`}#1} 
+\newcommand{\pmsele}[1]{\pmcin_{\small\Delta}\boldsymbol{`}#1} 
 \newcommand{\pmSele}{\pmcin_{\Delta}}
-\newcommand{\pmself}[1]{F_{\small\Delta}\mathbf{`}#1}
+\newcommand{\pmself}[1]{F_{\small\Delta}\boldsymbol{`}#1}
 \newcommand{\pmSelf}{F_{\Delta}}
 \newcommand{\pmexc}{\text{Cls}^2 \mathop{\text{excl}}} %84.01
 \newcommand{\pmexcc}[1]{\text{Cl} \mathop{\text{excl}}\textbf{`}#1} %84.02
 \newcommand{\pmex}{\text{Cls excl}} 
 \newcommand{\pmexcn}{\text{Cls} \mathop{\text{ex}^2} \mathop{\text{excl}}} %84.03
-\newcommand{\pmselc}[2]{#1 \mathrel{\ooalign{\rotatebox[origin=c]{270}{$\mathbf{\mapsto}$}}} #2}
+\newcommand{\pmselc}[2]{#1 \mathrel{\ooalign{\rotatebox[origin=c]{270}{$\boldsymbol{\mapsto}$}}} #2}
 \newcommand{\pmmultr}{\mathop{\text{Rel}} \mathop{\text{Mult}}} %88.01
 \newcommand{\pmmultc}{\mathop{\text{Cls}^2} \mathop{\text{Mult}}} %88.02
 \newcommand{\pmmultax}{\mathop{\text{Mult}} \mathop{\text{ax}}} %88.03
-	
-	%Inductive relations
+
+%Inductive relations
 \newcommand{\pmanc}[1]{#1_\pmast} %90.01
 \newcommand{\pmancc}[1]{\pmcrel{#1}_\pmast} %90.02
 \newcommand{\pmrst}[1]{#1_\text{st}} %91.01
+\newcommand{\pmrstm}[2]{#1_{\text{st}#2}} %91.01, see App. B
 \newcommand{\pmrts}[1]{#1_\text{ts}} %91.02
-\newcommand{\pmpot}[1]{\text{Pot}\mathbf{`}#1} %91.03
-\newcommand{\pmpotid}[1]{\text{Potid}\mathbf{`}#1} %91.04
+\newcommand{\pmrtsm}[2]{#1_{\text{ts}#2}} %91.02, see App. B
+\newcommand{\pmpot}[1]{\text{Pot}\boldsymbol{`}#1} %91.03
+\newcommand{\pmpotid}[1]{\text{Potid}\boldsymbol{`}#1} %91.04
+\newcommand{\pmpotidm}[2]{\text{Potid}_{#1}\boldsymbol{`}#2} %91.04, see App. B
 \newcommand{\pmpo}[1]{#1_\text{po}} %91.05
 \newcommand{\pmB}{B} %93.01
 \newcommand{\pmmin}[1]{\text{min}_{#1}} %93.02
 \newcommand{\pmMin}{\text{min}} 
 \newcommand{\pmmax}[1]{\text{max}_{#1}} %93.021
 \newcommand{\pmMax}{\text{max}}
-\newcommand{\pmgen}[1]{\text{gen}\mathbf{`}#1} %93.03
+\newcommand{\pmgen}[1]{\text{gen}\boldsymbol{`}#1} %93.03
 \newcommand{\pmGen}{\text{gen}}
 \newcommand{\pmefr}[2]{#1\pmast#2} %95.05
 \newcommand{\pmipr}[2]{I_{#1}\textbf{`}#2} %96.01
 \newcommand{\pmjpr}[2]{J_{#1}\textbf{`}#2} %96.02
 \newcommand{\pmfr}[2]{\overset{\boldsymbol{\leftrightarrow}}{#1}\textbf{`}#2} %97.01
-	
-	%Volume II
-	%Cardinal arithmetic
-	%Definition and Logical Properties of Cardinal Numbers
+
+%Appendix B (*89)
+\newcommand{\pmancm}[2]{#1_{\pmast#2}} %89.01
+\newcommand{\pmrrfanc}[2]{\overrightarrow{#1}_\pmast\textbf{`}#2} %32.01 plus \pmanc
+\newcommand{\pmrrfancm}[3]{\overrightarrow{#1}_{\pmast#2}\textbf{`}#3} %32.01 plus \pmancm
+\newcommand{\pmrrlanc}[2]{\overleftarrow{#1}_\pmast\textbf{`}#2} %32.02 plus \pmanc
+\newcommand{\pmrrlancm}[3]{\overleftarrow{#1}_{\pmast#2}\textbf{`}#3} %32.02 plus \pmancm
+\newcommand{\pmclso}[3]{\pmhat{#1}_{#2}(#3)} %20.01 but with order subscript
+\newcommand{\pmclsbo}[3]{\{\pmhat{#1}_{#2}(#3)\}} %20.01 but with order subscript
+\newcommand{\pmrorderzero}[1]{#1_0} %89.02
+\newcommand{\pmrorderm}[2]{#1_{#2}} %89.02
+\newcommand{\pmcorderzero}[1]{#1_0} %analogue for classes, cf. 89.131
+\newcommand{\pmcorderm}[2]{#1_{#2}} %analogue for classes, cf. 89.131 
+\newcommand{\pmporderzero}[1]{#1_0} %analogue for properties, cf. introduction to sec. ed. \SVII
+\newcommand{\pmporderm}[2]{#1_{#2}} %analogue for properties, cf. introduction to sec. ed. \SVII
+
+%Volume II
+%Cardinal arithmetic
+%Definition and Logical Properties of Cardinal Numbers
 \newcommand{\pmnc}[1]{\text{Nc}\textbf{`}#1} %100.01
 \newcommand{\pmNc}{\text{Nc}} 
 \newcommand{\pmNC}{\text{NC}} %100.02
@@ -297,8 +350,8 @@
 \newcommand{\pmcll}[3]{#1_{(#2#3)}} %106.04
 \newcommand{\pmchh}[3]{#1^{(#2#3)}} %106.041
 \newcommand{\pmncr}[1]{\text{N}_{00}\text{c}\textbf{`}#1} %106.01
-	
-	%Addition, Multiplication, Exponentiation
+
+%Addition, Multiplication, Exponentiation
 \newcommand{\pmarsumc}{\mathrel{+}} %110.01
 \newcommand{\pmarsumnc}{\mathrel{{+}_{\text{c}}}} %110.02
 \newcommand{\pmsmsmb}{\mathrel{\overline{\text{sm}}\;\overline{\text{sm}}}} %111.01
@@ -318,8 +371,8 @@
 \newcommand{\pmarl}{\mathrel{\boldsymbol{<}}} %117.04
 \newcommand{\pmargeq}{\mathrel{\ooalign{$\boldsymbol{>}$\hidewidth\cr${\hspace{-.4ex}\raise-.75ex\hbox{\rotatebox[origin=c]{-155}{$\scalebox{1.1}{$\boldsymbol{-}$}$}}}$}}} %117.05
 \newcommand{\pmarleq}{\mathrel{\ooalign{$\boldsymbol{<}$\cr\hidewidth${\raise-.75ex\hbox{\rotatebox[origin=c]{155}{$\scalebox{1.1}{$\boldsymbol{-}$}$}}}\hspace{-.375ex}$}}} %117.06
-	
-	%Finite and infinite
+
+%Finite and infinite
 \newcommand{\pmarsubt}[2]{#1 \mathrel{{-}_\text{c}} #2} %119.01
 \newcommand{\pmArsubt}{{-}_\text{c}} 
 \newcommand{\pmNCinduct}{\text{NC}\,\text{induct}} %120.01
@@ -330,9 +383,13 @@
 \newcommand{\pminfinax}[1]{\text{Infin}\,\text{ax}(#1)} %120.04
 \newcommand{\pmspec}[1]{\text{spec}\textbf{`}#1} %120.43
 \newcommand{\pmintoo}[2]{P(#1\mathbin{\boldsymbol{-}}#2)} %121.01
+\newcommand{\pmIntoo}[2]{(#1\mathbin{\boldsymbol{-}}#2)} %121.01
 \newcommand{\pmintoc}[2]{P({#1}\mathbin{\scalebox{1.2}[.7]{$\boldsymbol{\dashv}$}}{#2})} %121.011
+\newcommand{\pmIntoc}[2]{({#1}\mathbin{\scalebox{1.2}[.7]{$\boldsymbol{\dashv}$}}{#2})} %121.011
 \newcommand{\pmintco}[2]{P({#1}\mathbin{\scalebox{1.2}[.7]{$\boldsymbol{\vdash}$}}{#2})} %121.012
+\newcommand{\pmIntco}[2]{({#1}\mathbin{\scalebox{1.2}[.7]{$\boldsymbol{\vdash}$}}{#2})} %121.012
 \newcommand{\pmintcc}[2]{P({#1} \mathbin{\ooalign{$\scalebox{1.2}[.7]{$\boldsymbol{\dashv}$}$\hidewidth\cr$\scalebox{1.2}[.7]{$\boldsymbol{\vdash}$}$}} {#2})} %121.013
+\newcommand{\pmIntcc}[2]{({#1} \mathbin{\ooalign{$\scalebox{1.2}[.7]{$\boldsymbol{\dashv}$}$\hidewidth\cr$\scalebox{1.2}[.7]{$\boldsymbol{\vdash}$}$}} {#2})} %121.013
 \newcommand{\pmintnc}[1]{P_{#1}} %121.02
 \newcommand{\pmfinid}[1]{\text{finid}\textbf{`}#1} %121.03
 \newcommand{\pmfin}[1]{\text{fin}\textbf{`}#1} %121.031
@@ -346,12 +403,12 @@
 \newcommand{\pmncind}{\text{NC}\;\text{ind}} %126.01
 \newcommand{\pmnocind}[1]{\text{N}_0\text{Cinduct}\textbf{`}#1}
 \newcommand{\pmNocind}{\text{N}_0\text{Cinduct}}
-	
-	%Relation-arithmetic
-	%Ordinal similarity and relation-numbers
+
+%Relation-arithmetic
+%Ordinal similarity and relation-numbers
 \newcommand{\pmrnsm}[2]{{#1}{\raise.4ex\hbox{\textbf{\large;}}}{#2}} %150.01
-\newcommand{\pmrnsmd}[2]{#1 \mathop{\mathbf{\dagger}} #2} %150.02
-\newcommand{\pmrnsmdf}[1]{#1\mathbf{\dagger}} 
+\newcommand{\pmrnsmd}[2]{#1 \mathop{\boldsymbol{\dagger}} #2} %150.02
+\newcommand{\pmrnsmdf}[1]{#1\boldsymbol{\dagger}} 
 \newcommand{\pmopsc}[2]{#1 \mathrel{\ooalign{${\raise-.7ex\hbox{$\pmdot$}}$\hidewidth\cr$\text{\Female}$\hidewidth\cr${\raise-.8ex\hbox{\hspace{.15cm}\textbf{,}}}$}} #2} %150.03
 \newcommand{\pmsmorb}[2]{#1 \mathrel{\overline{\text{smor}}} #2} %151.01
 \newcommand{\pmSmorb}{\overline{\text{smor}}} %151.01
@@ -365,8 +422,8 @@
 \newcommand{\pmnor}[1]{\text{N}_0\text{r}\textbf{`}#1} %155.01
 \newcommand{\pmNor}{\text{N}_0\text{r}}
 \newcommand{\pmNoR}{\text{N}_0\text{R}} %155.02
-	
-	%Addition of Relations, and the Product of Two Relations
+
+%Addition of Relations, and the Product of Two Relations
 \newcommand{\pmrsum}[2]{#1\mathrel{\ooalign{${\raise-.21ex\hbox{$\boldsymbol{-}$}}$\cr\hidewidth$\boldsymbol{\uparrow}$\hidewidth\cr${\raise-.19ex\hbox{$\boldsymbol{-}$}}$}} #2} %160.01
 \newcommand{\pmRsum}{\mathrel{\ooalign{${\raise-.21ex\hbox{$\boldsymbol{-}$}}$\cr\hidewidth$\boldsymbol{\uparrow}$\hidewidth\cr${\raise-.19ex\hbox{$\boldsymbol{-}$}}$}}} 
 \newcommand{\pmrsume}[2]{#1 \mathrel{\rotatebox[origin=c]{90}{$\pmRsum$}} #2} %161.01
@@ -381,9 +438,9 @@
 \newcommand{\pmsmorsmor}[2]{#1 \mathrel{\pmSmor\,\pmSmor} #2} %164.02
 \newcommand{\pmSmorsmor}{\pmSmor\,\pmSmor}
 \newcommand{\pmrprod}[2]{#1 \times #2} %166.01
-	
-	%First differences and the multiplication and exponentiation of relations
-	%On the relation of first differences among the sub-classes of a given class
+
+%First differences and the multiplication and exponentiation of relations
+%On the relation of first differences among the sub-classes of a given class
 \newcommand{\pmrfdcl}[3]{#2 \mathrel{#1_{\text{cl}}} #3} %170.01
 \newcommand{\pmRfdcl}[1]{#1_{\text{cl}}}
 \newcommand{\pmrfdlc}[3]{#2 \mathrel{#1_{\text{lc}}} #3} %170.02
@@ -437,8 +494,8 @@
 %On sections, segments, stretches, and derivatives
 \newcommand{\pmsect}[1]{\text{sect}\textbf{`}{#1}} %211.01
 \newcommand{\pmSect}{\text{sect}} 
-\newcommand{\pmseg}[1]{\mathbf{\varsigma}\textbf{`}{#1}} %212.01
-\newcommand{\pmSeg}{\mathbf{\varsigma}} 
+\newcommand{\pmseg}[1]{\boldsymbol{\varsigma}\textbf{`}{#1}} %212.01
+\newcommand{\pmSeg}{\boldsymbol{\varsigma}} 
 \newcommand{\pmsym}[1]{\text{sym}\textbf{`}{#1}} %212.02
 \newcommand{\pmSym}{\text{sym}} 
 \newcommand{\pmsectr}[1]{{#1}_{\pmSeg}} %213.01
@@ -471,10 +528,10 @@
 \newcommand{\pmLmx}[3]{(#1\bar{#2}#3)_{\text{lmx}}}
 \newcommand{\pmlimf}[4]{#1(#2#3)\textbf{`}#4} %233.02
 \newcommand{\pmLimf}[3]{#1(#2#3)} 
-\newcommand{\pmscf}[3]{\text{sc}(#1, #2)\mathbf{`}#3} %234.01
-\newcommand{\pmosf}[3]{\text{os}(#1, #2)\mathbf{`}#3} %234.02
-\newcommand{\pmctf}[3]{\text{ct}(#1#2)\mathbf{`}#3} %234.03
-\newcommand{\pmcontinf}[3]{\text{contin}(#1#2)\mathbf{`}#3} %234.04
+\newcommand{\pmscf}[3]{\text{sc}(#1, #2)\boldsymbol{`}#3} %234.01
+\newcommand{\pmosf}[3]{\text{os}(#1, #2)\boldsymbol{`}#3} %234.02
+\newcommand{\pmctf}[3]{\text{ct}(#1#2)\boldsymbol{`}#3} %234.03
+\newcommand{\pmcontinf}[3]{\text{contin}(#1#2)\boldsymbol{`}#3} %234.04
 \newcommand{\pmcontin}[2]{#1 \mathrel{\text{contin}} #2} %234.05
 \newcommand{\pmContin}{\text{contin}} 
 
diff --git a/Master/texmf-dist/doc/latex/principia/List_of_Definitions.pdf b/Master/texmf-dist/doc/latex/principia/List_of_Definitions.pdf
deleted file mode 100644
index e80fc419550..00000000000
--- a/Master/texmf-dist/doc/latex/principia/List_of_Definitions.pdf
+++ /dev/null
diff --git a/Master/texmf-dist/doc/latex/principia/README b/Master/texmf-dist/doc/latex/principia/README
index 505f8978fd7..40a4a67cca9 100644
--- a/Master/texmf-dist/doc/latex/principia/README
+++ b/Master/texmf-dist/doc/latex/principia/README
@@ -1,8 +1,8 @@
 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) 2023). It is released under the LaTeX Project Public License 1.3c.
+The file principia.sty is the original work of Landon D. C. Elkind (Copyright (c) 2024). It is released under the LaTeX Project Public License 1.3c.
 
-This is principia package Version 2.0 (2023/03/13). This version covers typesetting the notations through Volumes I-III of "Principia Mathematica". 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.
+This is principia package Version 3.0 (2024/12/16). 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/
 
diff --git a/Master/texmf-dist/doc/latex/principia/principia.pdf b/Master/texmf-dist/doc/latex/principia/principia.pdf
index 87c69193bae..901cc310320 100644
--- a/Master/texmf-dist/doc/latex/principia/principia.pdf
+++ b/Master/texmf-dist/doc/latex/principia/principia.pdf
diff --git a/Master/texmf-dist/doc/latex/principia/principia.tex b/Master/texmf-dist/doc/latex/principia/principia.tex
index 8c5eb4e7bf8..a6602f5e2d4 100644
--- a/Master/texmf-dist/doc/latex/principia/principia.tex
+++ b/Master/texmf-dist/doc/latex/principia/principia.tex
@@ -1,13 +1,14 @@
 \documentclass[12pt]{article}
 \NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{principia}[2023/03/13 principia package version 2.0] %This is the principia package is for representing notations in Whitehead and Russell's ``Principia Mathematica" close to their appearance in the original.
+\ProvidesPackage{principia}[2024/12/16 principia package version 3.0] %This is the principia package is for representing notations in Whitehead and Russell's ``Principia Mathematica" close to their appearance in the original.
 %Version 1.0 (superseded by Version 1.1): Covers typesetting of notation through Volume I. 2020/10/24
 %Version 1.1 (superseded by Version 1.2) minor updates: fixed the spacing of scope dots around parentheses; fixed spacing of theorem sign; fixed spacing around primitive proposition and definition signs. 2020/10/25
 %Licensed under LaTeX Project Public License 1.3c. 
 %Version 1.2 (superseded by Version 2.0) (minor updates): boldfaced (`thickened') the truth-functional connectives, existential quantifier, set and relation symbols; added numerous commands for typesetting brackets and substitutions into theorems. 2021/02/25
-%Version 2.0 (major update): extends the package to cover typesetting of all notations in Volume II; removes package dependency on marvosym. 2023/03/13
+%Version 2.0 (major update): extends the package to cover typesetting of all notations in Volumes II and III; removes package dependency on marvosym. 2022/09/04
+%Version 3.0 (major update): adds command for typesetting Appendix B; removed boldfacing in \pmcnv command; edited \pmrrf, \pmrrl, \pmhat commands, changes to dot spacing. 2024/12/16
 %Licensed under LaTeX Project Public License 1.3c. 
-%Copyright Landon D. C. Elkind, 2022.  (https://landonelkind.com/contact/).
+%Copyright Landon D. C. Elkind, 2024  (https://landonelkind.com/contact/).
 
 \usepackage{fullpage}
 \usepackage[T1]{fontenc}
@@ -76,23 +77,25 @@
 \newcommand{\pmpp}{\quad \text{Pp}}
 
 %Square dots for scope, defined for up to six dots
-\newcommand{\pmdot}{\mathrel{\hbox{\rule{.3ex}{.3ex}}}}
-\newcommand{\pmdott}{\mathrel{\overset{\pmdot}{\pmdot}}}
-\newcommand{\pmdottt}{\pmdott\hspace{.1em}\pmdot}
-\newcommand{\pmdotttt}{\pmdott\hspace{.1em}\pmdott}
-\newcommand{\pmdottttt}{\pmdott\hspace{.1em}\pmdott\hspace{.1em}\pmdot}
-\newcommand{\pmdotttttt}{\pmdott\hspace{.1em}\pmdott\hspace{.1em}\pmdott}
+\newcommand{\pmd}{\hbox{\rule{.3ex}{.3ex}}} %single square dot
+\newcommand{\pmdd}{\overset{\pmd}{\pmd}} %vertically aligned pair of square dots
+\newcommand{\pmdot}{\mathinner{\pmd}}
+\newcommand{\pmdott}{\mathinner{\pmdd}}
+\newcommand{\pmdottt}{\mathinner{\pmdd\hspace{1pt}\pmd}}
+\newcommand{\pmdotttt}{\mathinner{\pmdd\hspace{1pt}\pmdd}}
+\newcommand{\pmdottttt}{\mathinner{\pmdd\hspace{1pt}\pmdd\hspace{1pt}\pmd}}
+\newcommand{\pmdotttttt}{\mathinner{\pmdd\hspace{1pt}\pmdd\hspace{1pt}\pmdd}}
 
 %Logical connectives
 \newcommand{\pmnot}{\mathord{\ooalign{$\boldsymbol{\sim}\mkern.5mu$\hidewidth\cr$\boldsymbol{\sim}$\cr\hidewidth$\mkern.5mu\boldsymbol{\sim}$}}}
 \newcommand{\pmor}{\mathbin{\ooalign{$\boldsymbol{\vee}\mkern.5mu$\hidewidth\cr$\boldsymbol{\vee}$\cr\hidewidth$\mkern.5mu\boldsymbol{\vee}$}}}
 \newcommand{\pmimp}{\mathbin{\ooalign{$\boldsymbol{\supset}\mkern.5mu$\hidewidth\cr$\boldsymbol{\supset}$\cr\hidewidth$\mkern.5mu\boldsymbol{\supset}$}}} %1.01
-\newcommand{\pmand}{\mathrel{\hbox{\rule{.3ex}{.3ex}}}} %3.01
-\newcommand{\pmandd}{\overset{\pmand}{\pmand}}
-\newcommand{\pmanddd}{\pmandd\hspace{.1em}\pmand}
-\newcommand{\pmandddd}{\pmandd\hspace{.1em}\pmandd}
-\newcommand{\pmanddddd}{\pmandd\hspace{.1em}\pmandd\hspace{.1em}\pmand}
-\newcommand{\pmandddddd}{\pmandd\hspace{.1em}\pmandd\hspace{.1em}\pmandd}
+\newcommand{\pmand}{\mathbin{\pmd}}%3.01
+\newcommand{\pmandd}{\mathbin{\pmdd}}
+\newcommand{\pmanddd}{\mathbin{\pmdd\hspace{1pt}\pmd}}
+\newcommand{\pmandddd}{\mathbin{\pmdd\hspace{1pt}\pmdd}}
+\newcommand{\pmanddddd}{\mathbin{\pmdd\hspace{1pt}\pmdd\hspace{1pt}\pmd}}
+\newcommand{\pmandddddd}{\mathbin{\pmdd\hspace{1pt}\pmdd\hspace{1pt}\pmdd}}
 \newcommand{\pmprod}{\mathbin{\ooalign{$\boldsymbol{\wedge}\mkern.5mu$\hidewidth\cr$\boldsymbol{\wedge}$\cr\hidewidth$\mkern.5mu\boldsymbol{\wedge}$}}} %Not in Principia, but added here as a dual of its symbol for disjunction.
 \newcommand{\pmiff}{\mathbin{\ooalign{$\boldsymbol{\equiv}\mkern.5mu$\hidewidth\cr$\boldsymbol{\equiv}$\cr\hidewidth$\mkern.5mu\boldsymbol{\equiv}$}}} %4.01
 \newcommand{\pminc}{\mathbin{|}} %8.01
@@ -103,8 +106,8 @@
 \newcommand{\pmSome}{\text{\raisebox{.5em}{\rotatebox{180}{\textbf{E}}}}}
 
 %Additional defined logic signs
-\newcommand{\pmhat}[1]{\boldsymbol{\hat{\text{$#1$}}}}
-\newcommand{\pmbreve}[1]{\boldsymbol{\breve{\text{$#1$}}}}
+\newcommand{\pmhat}[1]{\hat{#1}}
+\newcommand{\pmbreve}[1]{\boldsymbol{\breve{#1}}}
 \newcommand{\pmcirc}[1]{\boldsymbol{\dot{\text{$#1$}}}}
 \newcommand{\pmpf}[2]{#1#2} %for propositional functions of one variable
 \newcommand{\pmpff}[3]{#1(#2, #3)} %for propositional functions of two variables
@@ -131,6 +134,7 @@
 %Classes and relations
 %Class signs
 \newcommand{\pmcls}[2]{\pmhat{#1}(#2)} %20.01
+\newcommand{\pmclsb}[2]{\pmhat{#1}\{#2\}} %20.01 with curly brackets
 \newcommand{\pmcin}{\mathop{\boldsymbol{\epsilon}}} %20.02
 \newcommand{\pmCls}{\text{Cls}} %20.03
 \newcommand{\pmClsn}[1]{\text{Cls}^{#1}}
@@ -146,6 +150,7 @@
 
 %Relation signs
 \newcommand{\pmrel}[3]{\pmhat{#1}\pmhat{#2}#3} %21.01
+\newcommand{\pmrelb}[3]{\pmhat{#1}\pmhat{#2}\{#3\}} %21.01
 \newcommand{\pmrele}[5]{#1\{\pmhat{#2}\pmhat{#3}#4(#2, #3)\}#5} %21.02
 \newcommand{\pmrelep}[3]{#1\{#2\}#3} %21.08, 21.081, 21.082, etc.
 \newcommand{\pmrcmp}[1]{\ooalign{$\hidewidth\raisebox{.25em}{$\boldsymbol{\cdot}$}\hidewidth$\cr$\boldsymbol{\pmccmp}$}#1} %23.04
@@ -162,10 +167,10 @@
 \newcommand{\pmcnv}[1]{\text{Cnv}\textbf{`}#1} %31.01
 \newcommand{\pmCnv}{\text{Cnv}}
 \newcommand{\pmcrel}[1]{\pmbreve{#1}} %31.02
-\newcommand{\pmrrf}[2]{\overset{\boldsymbol{\rightarrow}}{#1\textbf{`}}#2} %32.01
-\newcommand{\pmRrf}[1]{\overset{\boldsymbol{\rightarrow}}{#1}} 
-\newcommand{\pmrrl}[2]{\overset{\boldsymbol{\leftarrow}}{#1\textbf{`}}#2} %32.02
-\newcommand{\pmRrl}[1]{\overset{\boldsymbol{\leftarrow}}{#1}}
+\newcommand{\pmrrf}[2]{\overrightarrow{#1}\textbf{`}#2} %32.01
+\newcommand{\pmRrf}[1]{\overrightarrow{#1}} 
+\newcommand{\pmrrl}[2]{\overleftarrow{#1}\textbf{`}#2} %32.02
+\newcommand{\pmRrl}[1]{\overleftarrow{#1}}
 \newcommand{\pmsg}[1]{\text{sg}\textbf{`}#1} %32.03
 \newcommand{\pmSg}{\text{sg}}
 \newcommand{\pmgs}[1]{\text{gs}\textbf{`}#1} %32.04
@@ -282,9 +287,12 @@
 \newcommand{\pmanc}[1]{#1_\pmast} %90.01
 \newcommand{\pmancc}[1]{\pmcrel{#1}_\pmast} %90.02
 \newcommand{\pmrst}[1]{#1_\text{st}} %91.01
+\newcommand{\pmrstm}[2]{#1_{\text{st}#2}} %91.01, see App. B
 \newcommand{\pmrts}[1]{#1_\text{ts}} %91.02
+\newcommand{\pmrtsm}[2]{#1_{\text{ts}#2}} %91.02, see App. B
 \newcommand{\pmpot}[1]{\text{Pot}\boldsymbol{`}#1} %91.03
 \newcommand{\pmpotid}[1]{\text{Potid}\boldsymbol{`}#1} %91.04
+\newcommand{\pmpotidm}[2]{\text{Potid}_{#1}\boldsymbol{`}#2} %91.04, see App. B
 \newcommand{\pmpo}[1]{#1_\text{po}} %91.05
 \newcommand{\pmB}{B} %93.01
 \newcommand{\pmmin}[1]{\text{min}_{#1}} %93.02
@@ -298,6 +306,21 @@
 \newcommand{\pmjpr}[2]{J_{#1}\textbf{`}#2} %96.02
 \newcommand{\pmfr}[2]{\overset{\boldsymbol{\leftrightarrow}}{#1}\textbf{`}#2} %97.01
 
+%Appendix B (*89)
+\newcommand{\pmancm}[2]{#1_{\pmast#2}} %89.01
+\newcommand{\pmrrfanc}[2]{\overrightarrow{#1}_\pmast\textbf{`}#2} %32.01 plus \pmanc
+\newcommand{\pmrrfancm}[3]{\overrightarrow{#1}_{\pmast#2}\textbf{`}#3} %32.01 plus \pmancm
+\newcommand{\pmrrlanc}[2]{\overleftarrow{#1}_\pmast\textbf{`}#2} %32.02 plus \pmanc
+\newcommand{\pmrrlancm}[3]{\overleftarrow{#1}_{\pmast#2}\textbf{`}#3} %32.02 plus \pmancm
+\newcommand{\pmclso}[3]{\pmhat{#1}_{#2}(#3)} %20.01 but with order subscript
+\newcommand{\pmclsbo}[3]{\{\pmhat{#1}_{#2}(#3)\}} %20.01 but with order subscript
+\newcommand{\pmrorderzero}[1]{#1_0} %89.02
+\newcommand{\pmrorderm}[2]{#1_{#2}} %89.02
+\newcommand{\pmcorderzero}[1]{#1_0} %analogue for classes, cf. 89.131
+\newcommand{\pmcorderm}[2]{#1_{#2}} %analogue for classes, cf. 89.131 
+\newcommand{\pmporderzero}[1]{#1_0} %analogue for properties, cf. introduction to sec. ed. \SVII
+\newcommand{\pmporderm}[2]{#1_{#2}} %analogue for properties, cf. introduction to sec. ed. \SVII
+
 %Volume II
 %Cardinal arithmetic
 %Definition and Logical Properties of Cardinal Numbers
@@ -356,9 +379,13 @@
 \newcommand{\pminfinax}[1]{\text{Infin}\,\text{ax}(#1)} %120.04
 \newcommand{\pmspec}[1]{\text{spec}\textbf{`}#1} %120.43
 \newcommand{\pmintoo}[2]{P(#1\mathbin{\boldsymbol{-}}#2)} %121.01
+\newcommand{\pmIntoo}[2]{(#1\mathbin{\boldsymbol{-}}#2)} %121.01
 \newcommand{\pmintoc}[2]{P({#1}\mathbin{\scalebox{1.2}[.7]{$\boldsymbol{\dashv}$}}{#2})} %121.011
+\newcommand{\pmIntoc}[2]{({#1}\mathbin{\scalebox{1.2}[.7]{$\boldsymbol{\dashv}$}}{#2})} %121.011
 \newcommand{\pmintco}[2]{P({#1}\mathbin{\scalebox{1.2}[.7]{$\boldsymbol{\vdash}$}}{#2})} %121.012
+\newcommand{\pmIntco}[2]{({#1}\mathbin{\scalebox{1.2}[.7]{$\boldsymbol{\vdash}$}}{#2})} %121.012
 \newcommand{\pmintcc}[2]{P({#1} \mathbin{\ooalign{$\scalebox{1.2}[.7]{$\boldsymbol{\dashv}$}$\hidewidth\cr$\scalebox{1.2}[.7]{$\boldsymbol{\vdash}$}$}} {#2})} %121.013
+\newcommand{\pmIntcc}[2]{({#1} \mathbin{\ooalign{$\scalebox{1.2}[.7]{$\boldsymbol{\dashv}$}$\hidewidth\cr$\scalebox{1.2}[.7]{$\boldsymbol{\vdash}$}$}} {#2})} %121.013
 \newcommand{\pmintnc}[1]{P_{#1}} %121.02
 \newcommand{\pmfinid}[1]{\text{finid}\textbf{`}#1} %121.03
 \newcommand{\pmfin}[1]{\text{fin}\textbf{`}#1} %121.031
@@ -669,27 +696,25 @@
 \newcommand{\pmsmltid}[2]{(#1, #2)} %373.03
 \newcommand{\pmprrt}[3]{(#1 \rotatebox[origin=c]{10}{$\boldsymbol{/}$} #2)_{#3}} %375.01
 
-\title{\texttt{principia.sty}\\ A \LaTeXe \space Package for Typesetting Whitehead and Russell's \textit{Principia Mathematica} (Version 2.0)}
+\title{\texttt{principia.sty}\\ A \LaTeXe \space Package for Typesetting Whitehead and Russell's \textit{Principia Mathematica} (Version 3.0)}
 \author{Landon D. C. Elkind \texttt{landon.elkind@wku.edu}}
-\date{\today}
+\date{December 16, 2024}
 
 \begin{document}
 \maketitle
 \onehalfspacing
 The \texttt{principia} package is designed for typesetting the Peanese notation of \textit{Principia Mathematica}. ``Peanese'' is something of a misnomer: Whitehead and Russell invented much of the notations used in \textit{Principia Mathematica} even while borrowing from many others.
 
-\texttt{principia}'s style has antecedents in Kevin C. Klement's excellent \textit{Tractatus} typesetting, to which we owe the device of adding `d's and `t's to typeset further square dots. The device of beginning all \texttt{principia} commands with `\texttt{$\backslash$pm}' is owed to the \texttt{begriff} package, a style that was mimicked in both the \texttt{frege} package and the \texttt{Grundgesetze} package. 
+\texttt{principia}'s style has antecedents in Kevin C. Klement's excellent \textit{Tractatus} typesetting, to which we owe the device of adding `d's and `t's to typeset further square dots. The device of beginning all \texttt{principia} commands with `\texttt{$\backslash$pm}' derives from the \texttt{begriff} package, a style understandably mimicked in both the \texttt{frege} package and the \texttt{Grundgesetze} package. 
 
 In \textit{Principia Mathematica} some symbols occur with an argument and sometimes that same symbol occurs without an argument. For example, `$\pmsome{x}$' occurs in some formulas, but sometimes `$\pmSome$' occurs in the text when they talk about the symbol itself. \texttt{principia} is designed to accommodate these different occurrences of symbols. When a symbol is to occur without an argument, capitalize the first letter following the `\texttt{$\backslash$pm}' part of the command. E.g. \verb|\pmsome{x}| produces $\pmsome{x}$ and \verb|\pmSome| produces `$\pmSome$'. Note the former command requires an argument and the latter command does not. Not all commands in the \texttt{principia} package admit of such dual use because some symbols in \textit{Principia Mathematica} never occur without an argument or do not take an argument in the usual sense. For example, the propositional connectives do not take an `argument' in the way singular or plural descriptions do.
 
-Version 2.0 of \texttt{principia} is adequate to typeset all notations throughout Volumes I-III of \textit{Principia} and includes some minor fixes. Below are commands for Volume I.
-
-\texttt{principia}'s dependencies are \texttt{amsmath}, \texttt{amssymb}, \texttt{pifont}, and \texttt{graphicx}. Make sure to load these package by typing \texttt{$\backslash$usepackage\{graphicx\}}, etc., into the document preamble. 
+Version 2.0 of \texttt{principia} is adequate to typeset all notations throughout Volumes I-III of \textit{Principia}. Version 3.0 includes commands that greatly ease typesetting of the appendices of Volume I and some minor fixes (especially to square dots). To help the user get the hang of the package, below is a table with commands for Volume I.
 
-To load \texttt{principia}, type \texttt{$\backslash$usepackage\{principia\}} in the document's preamble.
+\texttt{principia}'s dependencies are \texttt{amsmath}, \texttt{amssymb}, \texttt{pifont}, and \texttt{graphicx}. To load \texttt{principia}, type \texttt{$\backslash$usepackage\{principia\}} in the document's preamble (as with any {\TeX} package).
 
 \noindent \begin{tabular}{@{}p{3cm} | p{5cm} | p{8.25cm}}
-	\textbf{Symbol} & \textbf{\LaTeX command} & \textbf{Notes} \\ \hline
+	\textbf{Symbol} & \textbf{{\TeX} command} & \textbf{Notes} \\ \hline
 	$\pmthm$ & \verb|\pmthm| & Theorem. \\
 	$\pmast$ & \verb|\pmast| & As in $\pmast1$.  \\ 
 	$\pmcdot$ & \verb|\pmcdot| & As in, $\pmast1\pmcdot1$. \\
diff --git a/Master/texmf-dist/tex/latex/principia/principia.sty b/Master/texmf-dist/tex/latex/principia/principia.sty
index 29591fc0706..587700f3ed1 100644
--- a/Master/texmf-dist/tex/latex/principia/principia.sty
+++ b/Master/texmf-dist/tex/latex/principia/principia.sty
@@ -1,13 +1,14 @@
 %Package Identification
 \NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{principia}[2023/03/13 principia package version 2.0] %This is the principia package is for representing notations in Whitehead and Russell's ``Principia Mathematica" close to their appearance in the original.
+\ProvidesPackage{principia}[2024/12/16 principia package version 3.0] %This is the principia package is for representing notations in Whitehead and Russell's ``Principia Mathematica" close to their appearance in the original.
 %Version 1.0 (superseded by Version 1.1): Covers typesetting of notation through Volume I. 2020/10/24
 %Version 1.1 (superseded by Version 1.2) minor updates: fixed the spacing of scope dots around parentheses; fixed spacing of theorem sign; fixed spacing around primitive proposition and definition signs. 2020/10/25
 %Licensed under LaTeX Project Public License 1.3c. 
 %Version 1.2 (superseded by Version 2.0) (minor updates): boldfaced (`thickened') the truth-functional connectives, existential quantifier, set and relation symbols; added numerous commands for typesetting brackets and substitutions into theorems. 2021/02/25
 %Version 2.0 (major update): extends the package to cover typesetting of all notations in Volumes II and III; removes package dependency on marvosym. 2022/09/04
+%Version 3.0 (major update): adds command for typesetting Appendix B; removed boldfacing in \pmcnv command; edited \pmrrf, \pmrrl, \pmhat commands, changes to dot spacing. 2024/12/16
 %Licensed under LaTeX Project Public License 1.3c. 
-%Copyright Landon D. C. Elkind, 2023  (https://landonelkind.com/contact/).
+%Copyright Landon D. C. Elkind, 2024  (https://landonelkind.com/contact/).
 
 %Principia package requirements
 \RequirePackage{amssymb} %This loads the relation domain and converse domain limitation symbols.
@@ -72,23 +73,25 @@
 \newcommand{\pmpp}{\quad \text{Pp}}
 
 %Square dots for scope, defined for up to six dots
-\newcommand{\pmdot}{\mathrel{\hbox{\rule{.3ex}{.3ex}}}}
-\newcommand{\pmdott}{\mathrel{\overset{\pmdot}{\pmdot}}}
-\newcommand{\pmdottt}{\pmdott\hspace{.1em}\pmdot}
-\newcommand{\pmdotttt}{\pmdott\hspace{.1em}\pmdott}
-\newcommand{\pmdottttt}{\pmdott\hspace{.1em}\pmdott\hspace{.1em}\pmdot}
-\newcommand{\pmdotttttt}{\pmdott\hspace{.1em}\pmdott\hspace{.1em}\pmdott}
+\newcommand{\pmd}{\hbox{\rule{.3ex}{.3ex}}} %single square dot
+\newcommand{\pmdd}{\overset{\pmd}{\pmd}} %vertically aligned pair of square dots
+\newcommand{\pmdot}{\mathinner{\pmd}}
+\newcommand{\pmdott}{\mathinner{\pmdd}}
+\newcommand{\pmdottt}{\mathinner{\pmdd\hspace{1pt}\pmd}}
+\newcommand{\pmdotttt}{\mathinner{\pmdd\hspace{1pt}\pmdd}}
+\newcommand{\pmdottttt}{\mathinner{\pmdd\hspace{1pt}\pmdd\hspace{1pt}\pmd}}
+\newcommand{\pmdotttttt}{\mathinner{\pmdd\hspace{1pt}\pmdd\hspace{1pt}\pmdd}}
 
 %Logical connectives
 \newcommand{\pmnot}{\mathord{\ooalign{$\boldsymbol{\sim}\mkern.5mu$\hidewidth\cr$\boldsymbol{\sim}$\cr\hidewidth$\mkern.5mu\boldsymbol{\sim}$}}}
 \newcommand{\pmor}{\mathbin{\ooalign{$\boldsymbol{\vee}\mkern.5mu$\hidewidth\cr$\boldsymbol{\vee}$\cr\hidewidth$\mkern.5mu\boldsymbol{\vee}$}}}
 \newcommand{\pmimp}{\mathbin{\ooalign{$\boldsymbol{\supset}\mkern.5mu$\hidewidth\cr$\boldsymbol{\supset}$\cr\hidewidth$\mkern.5mu\boldsymbol{\supset}$}}} %1.01
-\newcommand{\pmand}{\mathrel{\hbox{\rule{.3ex}{.3ex}}}} %3.01
-\newcommand{\pmandd}{\overset{\pmand}{\pmand}}
-\newcommand{\pmanddd}{\pmandd\hspace{.1em}\pmand}
-\newcommand{\pmandddd}{\pmandd\hspace{.1em}\pmandd}
-\newcommand{\pmanddddd}{\pmandd\hspace{.1em}\pmandd\hspace{.1em}\pmand}
-\newcommand{\pmandddddd}{\pmandd\hspace{.1em}\pmandd\hspace{.1em}\pmandd}
+\newcommand{\pmand}{\mathbin{\pmd}}%3.01
+\newcommand{\pmandd}{\mathbin{\pmdd}}
+\newcommand{\pmanddd}{\mathbin{\pmdd\hspace{1pt}\pmd}}
+\newcommand{\pmandddd}{\mathbin{\pmdd\hspace{1pt}\pmdd}}
+\newcommand{\pmanddddd}{\mathbin{\pmdd\hspace{1pt}\pmdd\hspace{1pt}\pmd}}
+\newcommand{\pmandddddd}{\mathbin{\pmdd\hspace{1pt}\pmdd\hspace{1pt}\pmdd}}
 \newcommand{\pmprod}{\mathbin{\ooalign{$\boldsymbol{\wedge}\mkern.5mu$\hidewidth\cr$\boldsymbol{\wedge}$\cr\hidewidth$\mkern.5mu\boldsymbol{\wedge}$}}} %Not in Principia, but added here as a dual of its symbol for disjunction.
 \newcommand{\pmiff}{\mathbin{\ooalign{$\boldsymbol{\equiv}\mkern.5mu$\hidewidth\cr$\boldsymbol{\equiv}$\cr\hidewidth$\mkern.5mu\boldsymbol{\equiv}$}}} %4.01
 \newcommand{\pminc}{\mathbin{|}} %8.01
@@ -99,8 +102,8 @@
 \newcommand{\pmSome}{\text{\raisebox{.5em}{\rotatebox{180}{\textbf{E}}}}}
 
 %Additional defined logic signs
-\newcommand{\pmhat}[1]{\boldsymbol{\hat{\text{$#1$}}}}
-\newcommand{\pmbreve}[1]{\boldsymbol{\breve{\text{$#1$}}}}
+\newcommand{\pmhat}[1]{\hat{#1}}
+\newcommand{\pmbreve}[1]{\boldsymbol{\breve{#1}}}
 \newcommand{\pmcirc}[1]{\boldsymbol{\dot{\text{$#1$}}}}
 \newcommand{\pmpf}[2]{#1#2} %for propositional functions of one variable
 \newcommand{\pmpff}[3]{#1(#2, #3)} %for propositional functions of two variables
@@ -127,6 +130,7 @@
 %Classes and relations
 %Class signs
 \newcommand{\pmcls}[2]{\pmhat{#1}(#2)} %20.01
+\newcommand{\pmclsb}[2]{\pmhat{#1}\{#2\}} %20.01 with curly brackets
 \newcommand{\pmcin}{\mathop{\boldsymbol{\epsilon}}} %20.02
 \newcommand{\pmCls}{\text{Cls}} %20.03
 \newcommand{\pmClsn}[1]{\text{Cls}^{#1}}
@@ -142,6 +146,7 @@
 
 %Relation signs
 \newcommand{\pmrel}[3]{\pmhat{#1}\pmhat{#2}#3} %21.01
+\newcommand{\pmrelb}[3]{\pmhat{#1}\pmhat{#2}\{#3\}} %21.01
 \newcommand{\pmrele}[5]{#1\{\pmhat{#2}\pmhat{#3}#4(#2, #3)\}#5} %21.02
 \newcommand{\pmrelep}[3]{#1\{#2\}#3} %21.08, 21.081, 21.082, etc.
 \newcommand{\pmrcmp}[1]{\ooalign{$\hidewidth\raisebox{.25em}{$\boldsymbol{\cdot}$}\hidewidth$\cr$\boldsymbol{\pmccmp}$}#1} %23.04
@@ -158,10 +163,10 @@
 \newcommand{\pmcnv}[1]{\text{Cnv}\textbf{`}#1} %31.01
 \newcommand{\pmCnv}{\text{Cnv}}
 \newcommand{\pmcrel}[1]{\pmbreve{#1}} %31.02
-\newcommand{\pmrrf}[2]{\overset{\boldsymbol{\rightarrow}}{#1\textbf{`}}#2} %32.01
-\newcommand{\pmRrf}[1]{\overset{\boldsymbol{\rightarrow}}{#1}} 
-\newcommand{\pmrrl}[2]{\overset{\boldsymbol{\leftarrow}}{#1\textbf{`}}#2} %32.02
-\newcommand{\pmRrl}[1]{\overset{\boldsymbol{\leftarrow}}{#1}}
+\newcommand{\pmrrf}[2]{\overrightarrow{#1}\textbf{`}#2} %32.01
+\newcommand{\pmRrf}[1]{\overrightarrow{#1}} 
+\newcommand{\pmrrl}[2]{\overleftarrow{#1}\textbf{`}#2} %32.02
+\newcommand{\pmRrl}[1]{\overleftarrow{#1}}
 \newcommand{\pmsg}[1]{\text{sg}\textbf{`}#1} %32.03
 \newcommand{\pmSg}{\text{sg}}
 \newcommand{\pmgs}[1]{\text{gs}\textbf{`}#1} %32.04
@@ -278,9 +283,12 @@
 \newcommand{\pmanc}[1]{#1_\pmast} %90.01
 \newcommand{\pmancc}[1]{\pmcrel{#1}_\pmast} %90.02
 \newcommand{\pmrst}[1]{#1_\text{st}} %91.01
+\newcommand{\pmrstm}[2]{#1_{\text{st}#2}} %91.01, see App. B
 \newcommand{\pmrts}[1]{#1_\text{ts}} %91.02
+\newcommand{\pmrtsm}[2]{#1_{\text{ts}#2}} %91.02, see App. B
 \newcommand{\pmpot}[1]{\text{Pot}\boldsymbol{`}#1} %91.03
 \newcommand{\pmpotid}[1]{\text{Potid}\boldsymbol{`}#1} %91.04
+\newcommand{\pmpotidm}[2]{\text{Potid}_{#1}\boldsymbol{`}#2} %91.04, see App. B
 \newcommand{\pmpo}[1]{#1_\text{po}} %91.05
 \newcommand{\pmB}{B} %93.01
 \newcommand{\pmmin}[1]{\text{min}_{#1}} %93.02
@@ -294,6 +302,21 @@
 \newcommand{\pmjpr}[2]{J_{#1}\textbf{`}#2} %96.02
 \newcommand{\pmfr}[2]{\overset{\boldsymbol{\leftrightarrow}}{#1}\textbf{`}#2} %97.01
 
+%Appendix B (*89)
+\newcommand{\pmancm}[2]{#1_{\pmast#2}} %89.01
+\newcommand{\pmrrfanc}[2]{\overrightarrow{#1}_\pmast\textbf{`}#2} %32.01 plus \pmanc
+\newcommand{\pmrrfancm}[3]{\overrightarrow{#1}_{\pmast#2}\textbf{`}#3} %32.01 plus \pmancm
+\newcommand{\pmrrlanc}[2]{\overleftarrow{#1}_\pmast\textbf{`}#2} %32.02 plus \pmanc
+\newcommand{\pmrrlancm}[3]{\overleftarrow{#1}_{\pmast#2}\textbf{`}#3} %32.02 plus \pmancm
+\newcommand{\pmclso}[3]{\pmhat{#1}_{#2}(#3)} %20.01 but with order subscript
+\newcommand{\pmclsbo}[3]{\{\pmhat{#1}_{#2}(#3)\}} %20.01 but with order subscript
+\newcommand{\pmrorderzero}[1]{#1_0} %89.02
+\newcommand{\pmrorderm}[2]{#1_{#2}} %89.02
+\newcommand{\pmcorderzero}[1]{#1_0} %analogue for classes, cf. 89.131
+\newcommand{\pmcorderm}[2]{#1_{#2}} %analogue for classes, cf. 89.131 
+\newcommand{\pmporderzero}[1]{#1_0} %analogue for properties, cf. introduction to sec. ed. \SVII
+\newcommand{\pmporderm}[2]{#1_{#2}} %analogue for properties, cf. introduction to sec. ed. \SVII
+
 %Volume II
 %Cardinal arithmetic
 %Definition and Logical Properties of Cardinal Numbers
@@ -352,9 +375,13 @@
 \newcommand{\pminfinax}[1]{\text{Infin}\,\text{ax}(#1)} %120.04
 \newcommand{\pmspec}[1]{\text{spec}\textbf{`}#1} %120.43
 \newcommand{\pmintoo}[2]{P(#1\mathbin{\boldsymbol{-}}#2)} %121.01
+\newcommand{\pmIntoo}[2]{(#1\mathbin{\boldsymbol{-}}#2)} %121.01
 \newcommand{\pmintoc}[2]{P({#1}\mathbin{\scalebox{1.2}[.7]{$\boldsymbol{\dashv}$}}{#2})} %121.011
+\newcommand{\pmIntoc}[2]{({#1}\mathbin{\scalebox{1.2}[.7]{$\boldsymbol{\dashv}$}}{#2})} %121.011
 \newcommand{\pmintco}[2]{P({#1}\mathbin{\scalebox{1.2}[.7]{$\boldsymbol{\vdash}$}}{#2})} %121.012
+\newcommand{\pmIntco}[2]{({#1}\mathbin{\scalebox{1.2}[.7]{$\boldsymbol{\vdash}$}}{#2})} %121.012
 \newcommand{\pmintcc}[2]{P({#1} \mathbin{\ooalign{$\scalebox{1.2}[.7]{$\boldsymbol{\dashv}$}$\hidewidth\cr$\scalebox{1.2}[.7]{$\boldsymbol{\vdash}$}$}} {#2})} %121.013
+\newcommand{\pmIntcc}[2]{({#1} \mathbin{\ooalign{$\scalebox{1.2}[.7]{$\boldsymbol{\dashv}$}$\hidewidth\cr$\scalebox{1.2}[.7]{$\boldsymbol{\vdash}$}$}} {#2})} %121.013
 \newcommand{\pmintnc}[1]{P_{#1}} %121.02
 \newcommand{\pmfinid}[1]{\text{finid}\textbf{`}#1} %121.03
 \newcommand{\pmfin}[1]{\text{fin}\textbf{`}#1} %121.031