diff options
author | Karl Berry <karl@freefriends.org> | 2025-01-28 21:06:49 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2025-01-28 21:06:49 +0000 |
commit | a04eb79d20afa4e7a9093cc3f651c1cce81c2e5a (patch) | |
tree | 6ce74ece5b46467280de3dc575920a3fa8e1851f /Master/texmf-dist/doc/latex | |
parent | 749ab4f0267745ff2193264b0ff088870783d65f (diff) |
principia (27jan25)
git-svn-id: svn://tug.org/texlive/trunk@73621 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex')
-rw-r--r-- | Master/texmf-dist/doc/latex/principia/List-of-Definitions.pdf | bin | 276886 -> 276886 bytes | |||
-rw-r--r-- | Master/texmf-dist/doc/latex/principia/List-of-Definitions.tex | 18 | ||||
-rw-r--r-- | Master/texmf-dist/doc/latex/principia/README | 4 | ||||
-rw-r--r-- | Master/texmf-dist/doc/latex/principia/principia.pdf | bin | 251784 -> 251167 bytes | |||
-rw-r--r-- | Master/texmf-dist/doc/latex/principia/principia.tex | 19 |
5 files changed, 21 insertions, 20 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 Binary files differindex 2d555fb450c..ed1d8a01faa 100644 --- a/Master/texmf-dist/doc/latex/principia/List-of-Definitions.pdf +++ 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 9f55a436dcb..5929aff3c5f 100644 --- a/Master/texmf-dist/doc/latex/principia/List-of-Definitions.tex +++ b/Master/texmf-dist/doc/latex/principia/List-of-Definitions.tex @@ -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 @@ $\pmast37\pmcdot05$. & $\pmdscfe{R}{\beta}$ \\ $\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$ \\ diff --git a/Master/texmf-dist/doc/latex/principia/README b/Master/texmf-dist/doc/latex/principia/README index 40a4a67cca9..56c1d7f5460 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) 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/ diff --git a/Master/texmf-dist/doc/latex/principia/principia.pdf b/Master/texmf-dist/doc/latex/principia/principia.pdf Binary files differindex 901cc310320..8d9574e96f6 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 a6602f5e2d4..6f9604572e4 100644 --- a/Master/texmf-dist/doc/latex/principia/principia.tex +++ b/Master/texmf-dist/doc/latex/principia/principia.tex @@ -1,12 +1,13 @@ \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. %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@wku.edu}} -\date{December 16, 2024} +\date{January 28, 2025} \begin{document} \maketitle @@ -801,10 +802,10 @@ Version 2.0 of \texttt{principia} is adequate to typeset all notations throughou $\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$. \\ - $\pmccsum{\alpha}$ & \verb|\pmccsum{\alpha}| & The sum of a class of classes. \\ $\pmccprd{\alpha}$ & \verb|\pmccprd{\alpha}| & The product of a class of classes. \\ - $\pmcrsum{\alpha}$ & \verb|\pmcrsum{\alpha}| & The sum of a class of relations. \\ + $\pmccsum{\alpha}$ & \verb|\pmccsum{\alpha}| & The sum 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. \\ $\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. \\ |