texlive[74710] Master/texmf-dist: principia (20mar25)
commits+karl at tug.org
commits+karl at tug.org
Thu Mar 20 20:59:20 CET 2025
Revision: 74710
https://tug.org/svn/texlive?view=revision&revision=74710
Author: karl
Date: 2025-03-20 20:59:19 +0100 (Thu, 20 Mar 2025)
Log Message:
-----------
principia (20mar25)
Modified Paths:
--------------
trunk/Master/texmf-dist/doc/latex/principia/List-of-Definitions.pdf
trunk/Master/texmf-dist/doc/latex/principia/List-of-Definitions.tex
trunk/Master/texmf-dist/doc/latex/principia/README
trunk/Master/texmf-dist/doc/latex/principia/principia.pdf
trunk/Master/texmf-dist/doc/latex/principia/principia.tex
trunk/Master/texmf-dist/tex/latex/principia/principia.sty
Modified: trunk/Master/texmf-dist/doc/latex/principia/List-of-Definitions.pdf
===================================================================
(Binary files differ)
Modified: trunk/Master/texmf-dist/doc/latex/principia/List-of-Definitions.tex
===================================================================
--- trunk/Master/texmf-dist/doc/latex/principia/List-of-Definitions.tex 2025-03-20 19:59:11 UTC (rev 74709)
+++ trunk/Master/texmf-dist/doc/latex/principia/List-of-Definitions.tex 2025-03-20 19:59:19 UTC (rev 74710)
@@ -1,6 +1,6 @@
\documentclass[12pt,openany,leqno,twocolumn]{book}
%Licensed under LaTeX Project Public License 1.3c.
-%This is a list of definitions for use with the principia package, Version 3.3.
+%This is a list of definitions for use with the principia package, Version 3.4.
%Copyright Landon D. C. Elkind, 2021 (https://landonelkind.com/contact/).
\usepackage{newtxtext}
@@ -426,10 +426,10 @@
%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
-\newcommand{\pmRsume}{\rotatebox[origin=c]{90}{$\pmRsum$} }
-\newcommand{\pmrsumb}[2]{#1 \mathrel{\rotatebox[origin=c]{270}{$\pmRsum$}} #2} %161.02
-\newcommand{\pmRsumb}{\rotatebox[origin=c]{270}{$\pmRsum$}}
+\newcommand{\pmrsume}[2]{#1 \mathrel{\rotatebox[origin=c]{270}{$\pmRsum$}} #2} %161.01
+\newcommand{\pmRsume}{\rotatebox[origin=c]{270}{$\pmRsum$} }
+\newcommand{\pmrsumb}[2]{#1 \mathrel{\rotatebox[origin=c]{90}{$\pmRsum$}} #2} %161.02
+\newcommand{\pmRsumb}{\rotatebox[origin=c]{90}{$\pmRsum$}}
\newcommand{\pmrsumr}[1]{\Sigma\textbf{`}#1} %162.01
\newcommand{\pmRsumr}{\Sigma}
\newcommand{\pmrsumrex}[1]{\mathrel{\text{Rel}^{#1}\text{excl}}} %163.01
@@ -1008,13 +1008,13 @@
$\pmast155\pmcdot01$. & $\pmnor{P}$ \\
$\pmast155\pmcdot02$. & $\pmNoR$ \\
$\pmast160\pmcdot01$. & $\pmrsum{P}{Q}$ \\
- $\pmast161\pmcdot01$. & $\pmrsumb{P}{x}$ \\
- $\pmast161\pmcdot02$. & $\pmrsume{x}{P}$ \\
- $\pmast161\pmcdot212$. & $\pmrsumb{P}{\pmrsumb{x}{y}}$
+ $\pmast161\pmcdot01$. & $\pmrsume{P}{x}$ \\
+ $\pmast161\pmcdot02$. & $\pmrsumb{x}{P}$ \\
+ $\pmast161\pmcdot212$. & $\pmrsume{P}{\pmrsume{x}{y}}$
\end{tabular}
\begin{tabular}{l l}
- $\pmast161\pmcdot213$. & $\pmrsume{\pmrsume{x}{y}}{P}$ \\
+ $\pmast161\pmcdot213$. & $\pmrsumb{\pmrsumb{x}{y}}{P}$ \\
$\pmast162\pmcdot01$. & $\pmrsumr{P}$ \\
$\pmast163\pmcdot01$. & $\pmrsumrex{2}$ \\
$\pmast164\pmcdot01$. & $\pmsmorsmorb{P}{Q}$ \\
@@ -1251,4 +1251,4 @@
$\pmast373\pmcdot03$. & $\pmsmltid{S}{\nu}$ \hspace{0.75ex} Dft [\(\pmast373\text{---}5\)]\\
$\pmast375\pmcdot01$. & $\pmprrt{\mu}{\nu}{\kappa}$
\end{tabular}
-\end{document}
+\end{document}
\ No newline at end of file
Modified: trunk/Master/texmf-dist/doc/latex/principia/README
===================================================================
--- trunk/Master/texmf-dist/doc/latex/principia/README 2025-03-20 19:59:11 UTC (rev 74709)
+++ trunk/Master/texmf-dist/doc/latex/principia/README 2025-03-20 19:59:19 UTC (rev 74710)
@@ -2,7 +2,7 @@
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.3 (2025/03/13). 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.
+This is principia package Version 3.4 (2025/03/19). 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/
Modified: trunk/Master/texmf-dist/doc/latex/principia/principia.pdf
===================================================================
(Binary files differ)
Modified: trunk/Master/texmf-dist/doc/latex/principia/principia.tex
===================================================================
--- trunk/Master/texmf-dist/doc/latex/principia/principia.tex 2025-03-20 19:59:11 UTC (rev 74709)
+++ trunk/Master/texmf-dist/doc/latex/principia/principia.tex 2025-03-20 19:59:19 UTC (rev 74710)
@@ -1,6 +1,5 @@
\documentclass[12pt]{article}
-\NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{principia}[2025/03/13 principia package version 3.3] %This is the principia package is for representing notations in Whitehead and Russell's ``Principia Mathematica" close to their appearance in the original.
+%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.
@@ -10,6 +9,7 @@
%Version 3.1 (minor update): fixed notations from *40 and *41 (credit to Stephen Boyce). 2025/01/28
%Version 3.2 (minor update): revised notations to *35 and *36 (credit to Gregory Landini). 2025/01/30
%Version 3.3 (minor update): revised substitution commands (credit to Gregory Landini). 2025/03/13
+%Version 3.4 (minor update): swapped \pmrsume and \pmrsumb commands (credit to Gregory Landini). 2025/03/19
%Licensed under LaTeX Project Public License 1.3c.
%Copyright Landon D. C. Elkind, 2025 (https://landonelkind.com/contact/).
@@ -425,10 +425,10 @@
%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
-\newcommand{\pmRsume}{\rotatebox[origin=c]{90}{$\pmRsum$} }
-\newcommand{\pmrsumb}[2]{#1 \mathrel{\rotatebox[origin=c]{270}{$\pmRsum$}} #2} %161.02
-\newcommand{\pmRsumb}{\rotatebox[origin=c]{270}{$\pmRsum$}}
+\newcommand{\pmrsume}[2]{#1 \mathrel{\rotatebox[origin=c]{270}{$\pmRsum$}} #2} %161.01
+\newcommand{\pmRsume}{\rotatebox[origin=c]{270}{$\pmRsum$} }
+\newcommand{\pmrsumb}[2]{#1 \mathrel{\rotatebox[origin=c]{90}{$\pmRsum$}} #2} %161.02
+\newcommand{\pmRsumb}{\rotatebox[origin=c]{90}{$\pmRsum$}}
\newcommand{\pmrsumr}[1]{\Sigma\textbf{`}#1} %162.01
\newcommand{\pmRsumr}{\Sigma}
\newcommand{\pmrsumrex}[1]{\mathrel{\text{Rel}^{#1}\text{excl}}} %163.01
@@ -699,9 +699,9 @@
\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 3.3)}
+\title{\texttt{principia.sty}\\ A \LaTeXe \space Package for Typesetting Whitehead and Russell's \textit{Principia Mathematica} (Version 3.4)}
\author{Landon D. C. Elkind \texttt{landon.elkind at wku.edu}}
-\date{March 13, 2025}
+\date{March 19, 2025}
\begin{document}
\maketitle
@@ -850,4 +850,4 @@
$\pmnc{\kappa}$, $\pmNc$ & \verb|\pmnc{\kappa}|, \verb|\pmNc| & The cardinal number of $\kappa$.
\end{tabular}
-\end{document}
+\end{document}
\ No newline at end of file
Modified: trunk/Master/texmf-dist/tex/latex/principia/principia.sty
===================================================================
--- trunk/Master/texmf-dist/tex/latex/principia/principia.sty 2025-03-20 19:59:11 UTC (rev 74709)
+++ trunk/Master/texmf-dist/tex/latex/principia/principia.sty 2025-03-20 19:59:19 UTC (rev 74710)
@@ -1,6 +1,6 @@
%Package Identification
\NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{principia}[2025/03/13 principia package version 3.3] %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}[2025/03/19 principia package version 3.4] %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.
@@ -10,6 +10,7 @@
%Version 3.1 (minor update): fixed notations from *40 and *41 (credit to Stephen Boyce). 2025/01/28
%Version 3.2 (minor update): revised notations to *35 and *36 (credit to Gregory Landini). 2025/01/30
%Version 3.3 (minor update): revised substitution commands (credit to Gregory Landini). 2025/03/13
+%Version 3.4 (minor update): swapped \pmrsume and \pmrsumb commands (credit to Gregory Landini). 2025/03/19
%Licensed under LaTeX Project Public License 1.3c.
%Copyright Landon D. C. Elkind, 2025 (https://landonelkind.com/contact/).
@@ -421,10 +422,10 @@
%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
-\newcommand{\pmRsume}{\rotatebox[origin=c]{90}{$\pmRsum$} }
-\newcommand{\pmrsumb}[2]{#1 \mathrel{\rotatebox[origin=c]{270}{$\pmRsum$}} #2} %161.02
-\newcommand{\pmRsumb}{\rotatebox[origin=c]{270}{$\pmRsum$}}
+\newcommand{\pmrsume}[2]{#1 \mathrel{\rotatebox[origin=c]{270}{$\pmRsum$}} #2} %161.01
+\newcommand{\pmRsume}{\rotatebox[origin=c]{270}{$\pmRsum$} }
+\newcommand{\pmrsumb}[2]{#1 \mathrel{\rotatebox[origin=c]{90}{$\pmRsum$}} #2} %161.02
+\newcommand{\pmRsumb}{\rotatebox[origin=c]{90}{$\pmRsum$}}
\newcommand{\pmrsumr}[1]{\Sigma\textbf{`}#1} %162.01
\newcommand{\pmRsumr}{\Sigma}
\newcommand{\pmrsumrex}[1]{\mathrel{\text{Rel}^{#1}\text{excl}}} %163.01
@@ -693,4 +694,4 @@
\newcommand{\pmprime}{\text{Prime}} %373.01
\newcommand{\pmsfmid}[3]{#1_{#2#3}} %373.02
\newcommand{\pmsmltid}[2]{(#1, #2)} %373.03
-\newcommand{\pmprrt}[3]{(#1 \rotatebox[origin=c]{10}{$\boldsymbol{/}$} #2)_{#3}} %375.01
+\newcommand{\pmprrt}[3]{(#1 \rotatebox[origin=c]{10}{$\boldsymbol{/}$} #2)_{#3}} %375.01
\ No newline at end of file
More information about the tex-live-commits
mailing list.