texlive[73621] Master/texmf-dist: principia (27jan25)
commits+karl at tug.org
commits+karl at tug.org
Tue Jan 28 22:06:50 CET 2025
Revision: 73621
https://tug.org/svn/texlive?view=revision&revision=73621
Author: karl
Date: 2025-01-28 22:06:49 +0100 (Tue, 28 Jan 2025)
Log Message:
-----------
principia (27jan25)
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-01-28 21:06:40 UTC (rev 73620)
+++ trunk/Master/texmf-dist/doc/latex/principia/List-of-Definitions.tex 2025-01-28 21:06:49 UTC (rev 73621)
@@ -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 2.0.
+%This is a list of definitions for use with the principia package, Version 3.1.
%Copyright Landon D. C. Elkind, 2021 (https://landonelkind.com/contact/).
\usepackage{newtxtext}
@@ -207,10 +207,10 @@
\newcommand{\pmopc}[2]{#1 \mathop{\underset{\textbf{''}}{\text{\Female}}} #2} %38.03
%Products and sums of classes of classes or relations
-\newcommand{\pmccsum}[1]{p\textbf{`}#1} %40.01
-\newcommand{\pmccprd}[1]{s\textbf{`}#1} %40.02
-\newcommand{\pmcrsum}[1]{\pmcirc{p}\textbf{`}#1} %41.01
-\newcommand{\pmcrprd}[1]{\pmcirc{s}\textbf{`}#1} %41.02
+\newcommand{\pmccprd}[1]{p\textbf{`}#1} %40.01
+\newcommand{\pmccsum}[1]{s\textbf{`}#1} %40.02
+\newcommand{\pmcrprd}[1]{\pmcirc{p}\textbf{`}#1} %41.01
+\newcommand{\pmcrsum}[1]{\pmcirc{s}\textbf{`}#1} %41.02
\newcommand{\pmrprdd}[2]{{#1}\mathop{||}{#2}} %43.01
\newcommand{\pmRprdd}{\mathop{||}}
@@ -820,10 +820,10 @@
$\pmast38\pmcdot01$. & $x \pmop$ \\
$\pmast38\pmcdot02$. & $\pmop y$ \\
$\pmast38\pmcdot03$. & $\pmopc{\alpha}{y}$\\
-$\pmast40\pmcdot01$. & $\pmccsum{\kappa}$ \\
-$\pmast40\pmcdot02$. & $\pmccprd{\kappa}$ \\
-$\pmast41\pmcdot01$. & $\pmcrsum{\lambda}$ \\
-$\pmast41\pmcdot02$. & $\pmcrprd{\lambda}$ \\
+$\pmast40\pmcdot01$. & $\pmccprd{\kappa}$ \\
+$\pmast40\pmcdot02$. & $\pmccsum{\kappa}$ \\
+$\pmast41\pmcdot01$. & $\pmcrprd{\lambda}$ \\
+$\pmast41\pmcdot02$. & $\pmcrsum{\lambda}$ \\
$\pmast43\pmcdot01$. & $\pmrprdd{R}{S}$ \\
$\pmast50\pmcdot01$. & $\pmrid$ \\
$\pmast50\pmcdot02$. & $\pmrdiv$ \\
Modified: trunk/Master/texmf-dist/doc/latex/principia/README
===================================================================
--- trunk/Master/texmf-dist/doc/latex/principia/README 2025-01-28 21:06:40 UTC (rev 73620)
+++ trunk/Master/texmf-dist/doc/latex/principia/README 2025-01-28 21:06:49 UTC (rev 73621)
@@ -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) 2024). 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) 2025). It is released under the LaTeX Project Public License 1.3c.
-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.
+This is principia package Version 3.1 (2025/01/28). 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-01-28 21:06:40 UTC (rev 73620)
+++ trunk/Master/texmf-dist/doc/latex/principia/principia.tex 2025-01-28 21:06:49 UTC (rev 73621)
@@ -1,6 +1,6 @@
\documentclass[12pt]{article}
\NeedsTeXFormat{LaTeX2e}
-\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.
+\ProvidesPackage{principia}[2025/01/28 principia package version 3.1] %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.
@@ -7,6 +7,7 @@
%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
+%Version 3.1 (minor update): fixed issues in *40 and *41 notation (credit to Stephen Boyce for noticing the error). 2025/01/28
%Licensed under LaTeX Project Public License 1.3c.
%Copyright Landon D. C. Elkind, 2024 (https://landonelkind.com/contact/).
@@ -203,10 +204,10 @@
\newcommand{\pmopc}[2]{#1 \mathop{\underset{\textbf{''}}{\text{\Female}}} #2} %38.03
%Products and sums of classes of classes or relations
-\newcommand{\pmccsum}[1]{p\textbf{`}#1} %40.01
-\newcommand{\pmccprd}[1]{s\textbf{`}#1} %40.02
-\newcommand{\pmcrsum}[1]{\pmcirc{p}\textbf{`}#1} %41.01
-\newcommand{\pmcrprd}[1]{\pmcirc{s}\textbf{`}#1} %41.02
+\newcommand{\pmccprd}[1]{p\textbf{`}#1} %40.01
+\newcommand{\pmccsum}[1]{s\textbf{`}#1} %40.02
+\newcommand{\pmcrprd}[1]{\pmcirc{p}\textbf{`}#1} %41.01
+\newcommand{\pmcrsum}[1]{\pmcirc{s}\textbf{`}#1} %41.02
\newcommand{\pmrprdd}[2]{{#1}\mathop{||}{#2}} %43.01
\newcommand{\pmRprdd}{\mathop{||}}
@@ -696,9 +697,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.0)}
+\title{\texttt{principia.sty}\\ A \LaTeXe \space Package for Typesetting Whitehead and Russell's \textit{Principia Mathematica} (Version 3.1)}
\author{Landon D. C. Elkind \texttt{landon.elkind at wku.edu}}
-\date{December 16, 2024}
+\date{January 28, 2025}
\begin{document}
\maketitle
@@ -801,10 +802,10 @@
$\pmrl{\alpha}{\beta}$ & \verb|\pmrl{\alpha}{\beta}| & The relation made of all $x$s in $\alpha$ and $y$s in $\beta$. \\
$\pmop$ & \verb|\pmop| & The operation symbol. \\
$\pmopc{\alpha}{y}$ & \verb|\pmopc{\alpha}{y}| & The relation of $x$s in $\alpha$ taken to $y$ by $\pmop$. \\
+ $\pmccprd{\alpha}$ & \verb|\pmccprd{\alpha}| & The product of a class of classes. \\
$\pmccsum{\alpha}$ & \verb|\pmccsum{\alpha}| & The sum of a class of classes. \\
- $\pmccprd{\alpha}$ & \verb|\pmccprd{\alpha}| & The product of a class of classes. \\
+ $\pmcrprd{\alpha}$ & \verb|\pmcrprd{\alpha}| & The product of a class of relations. \\
$\pmcrsum{\alpha}$ & \verb|\pmcrsum{\alpha}| & The sum of a class of relations. \\
- $\pmcrprd{\alpha}$ & \verb|\pmcrprd{\alpha}| & The product of a class of relations. \\
$\pmrid$, $\pmrdiv$ & \verb|\pmrid|, \verb|\pmrdiv| & The relations of identity and diversity. \\
$\pmcunit{x}$, $\pmcUnit$ & \verb|\pmcunit{x}|, \verb|\pmcUnit| & The unit class. \\
$\pmcunits{\alpha}$ & \verb|\pmcunits{\alpha}| & The sum of unit classes of $\alpha$'s elements. \\
Modified: trunk/Master/texmf-dist/tex/latex/principia/principia.sty
===================================================================
--- trunk/Master/texmf-dist/tex/latex/principia/principia.sty 2025-01-28 21:06:40 UTC (rev 73620)
+++ trunk/Master/texmf-dist/tex/latex/principia/principia.sty 2025-01-28 21:06:49 UTC (rev 73621)
@@ -1,6 +1,6 @@
%Package Identification
\NeedsTeXFormat{LaTeX2e}
-\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.
+\ProvidesPackage{principia}[2025/01/28 principia package version 3.1] %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.
@@ -7,6 +7,7 @@
%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
+%Version 3.1 (minor update): fixed notations from *40 and *41 (credit to Stephen Boyce). 2025/01/28
%Licensed under LaTeX Project Public License 1.3c.
%Copyright Landon D. C. Elkind, 2024 (https://landonelkind.com/contact/).
@@ -199,10 +200,10 @@
\newcommand{\pmopc}[2]{#1 \mathop{\underset{\textbf{''}}{\text{\Female}}} #2} %38.03
%Products and sums of classes of classes or relations
-\newcommand{\pmccsum}[1]{p\textbf{`}#1} %40.01
-\newcommand{\pmccprd}[1]{s\textbf{`}#1} %40.02
-\newcommand{\pmcrsum}[1]{\pmcirc{p}\textbf{`}#1} %41.01
-\newcommand{\pmcrprd}[1]{\pmcirc{s}\textbf{`}#1} %41.02
+\newcommand{\pmccprd}[1]{p\textbf{`}#1} %40.01
+\newcommand{\pmccsum}[1]{s\textbf{`}#1} %40.02
+\newcommand{\pmcrprd}[1]{\pmcirc{p}\textbf{`}#1} %41.01
+\newcommand{\pmcrsum}[1]{\pmcirc{s}\textbf{`}#1} %41.02
\newcommand{\pmrprdd}[2]{{#1}\mathop{||}{#2}} %43.01
\newcommand{\pmRprdd}{\mathop{||}}
More information about the tex-live-commits
mailing list.