diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/principia/principia.tex')
-rw-r--r-- | Master/texmf-dist/doc/latex/principia/principia.tex | 27 |
1 files changed, 14 insertions, 13 deletions
diff --git a/Master/texmf-dist/doc/latex/principia/principia.tex b/Master/texmf-dist/doc/latex/principia/principia.tex index 47db6119081..7e0bced1154 100644 --- a/Master/texmf-dist/doc/latex/principia/principia.tex +++ b/Master/texmf-dist/doc/latex/principia/principia.tex @@ -1,11 +1,11 @@ \documentclass[12pt]{article} \NeedsTeXFormat{LaTeX2e} -\ProvidesPackage{principia}[2020/10/20 principia package version 1.0] %Covers typesetting of notation through Volume I +\ProvidesPackage{principia}[2020/10/25 principia package version 1.1] %This package supports typesetting the Peanese notation in Volume I of Whitehead and Russell’s 1910 ``Principia Mathematica". +%Version 1.0 (superseded by Version 1.1): Covers typesetting of notation through Volume I. 2020/10/24 +%Version 1.1 (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. -%Copyright Landon D. C. Elkind, 2020. +%Copyright Landon D. C. Elkind, 2020. (https://landondcelkind.com/contact/). -\usepackage{amssymb} -\usepackage{amsmath} \usepackage{fullpage} \usepackage[T1]{fontenc} \usepackage[utf8]{inputenc} @@ -13,11 +13,13 @@ %Principia package requirements \usepackage{principia} %The package itself, and its dependencies: +\usepackage{amssymb} %This loads the relation domain and converse domain limitation symbols. +\usepackage{amsmath} %This loads the circumflex, substitution into theorems, \text{}, \mathbf{}, \boldsymbol{}, \overleftarrow{}, \overrightarrow{}, etc. \usepackage{pifont} %This loads the eight-pointed asterisk. \usepackage{marvosym} %This loads the male and female symbol. \usepackage{graphicx} %This loads commands that flip iota for definite descriptions, Lambda for the universal class, and so on. The (superseded) graphics package should also work here, but is not recommended. -\title{\texttt{principia.sty }\\ A \LaTeXe \space Package for Typesetting Whitehead and Russell's \textit{Principia Mathematica} (Version 1.0)} +\title{\texttt{principia.sty }\\ A \LaTeXe \space Package for Typesetting Whitehead and Russell's \textit{Principia Mathematica} (Version 1.1)} \author{Landon D. C. Elkind \texttt{elkind@ualberta.ca}} \date{\today} @@ -30,22 +32,21 @@ The \texttt{principia} package is designed for typesetting the Peanese notation 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 1.0 of \texttt{principia} is adequate to typeset all notations throughout Volume I of \textit{Principia}. Updates to include all notations throughout Volumes II and III are planned. +Version 1.1 of \texttt{principia}, like Version 1.0, is adequate to typeset all notations throughout Volume I of \textit{Principia} and includes some fixes to spacing, etc. See the package documentation for details. Updates to include all notations throughout Volumes II and III are planned. -\texttt{principia}'s dependencies are \texttt{pifont} (for the eight-pointed asterisk), \texttt{marvosym} (for the `$\pmop$' symbol), and \texttt{graphicx} (for singular descriptions, universal classes, and existential quantifiers). Make sure to load these package by typing \texttt{$\backslash$usepackage\{graphicx\}}, etc. - -To load \texttt{principia}, type \texttt{$\backslash$usepackage\{principia\}} in the preamble to the document. +\texttt{principia}'s dependencies are \texttt{amsmath}, \texttt{amssymb}, \texttt{pifont}, \texttt{marvosym}, and \texttt{graphicx}. Make sure to load these package by typing \texttt{$\backslash$usepackage\{graphicx\}}, etc., into the document preamble. To load \texttt{principia}, type \texttt{$\backslash$usepackage\{principia\}} in the document's preamble. \noindent \begin{tabular}{@{}p{3cm} | p{5cm} | p{8.25cm}} \textbf{Symbol} & \textbf{\LaTeX command} & \textbf{Notes} \\ \hline $\pmthm$ & \verb|\pmthm| & Theorem. \\ $\pmast$ & \verb|\pmast| & As in $\pmast1$. \\ $\pmcdot$ & \verb|\pmcdot| & As in, $\pmast1\pmcdot1$. \\ - $\pmpp$ & \verb|\pmpp| & Primitive proposition. \\ - $\pmdf$ & \verb|\pmdf| & Definition. \\ - $\pmdem$ & \verb|\pmdem| & This begins a proof. \\ + $\pmpp$ & \verb|\pmpp| & Primitive proposition. Note the indentation. \\ + $\pmiddf$ & \verb|\pmiddf| & Identity for definitions (`$=$' differs in spacing). \\ + $\pmdf$ & \verb|\pmdf| & Definition. Note the indentation. \\ + $\pmdem$ & \verb|\pmdem| & This symbol begins a proof. \\ $\pmsub{p}{q}$, $\pmsubb{p}{q}{r}{s}$, $\pmsubbb{p}{q}{r}{s}{t}{u}$, ... $\pmSub{\text{Add}}{p}{q}$, ... & \verb|\pmsub{p}{q}|, \verb|\pmsubb{p}{q}{r}{s}|, \verb|\pmsubbb{p}{q}| \par \hfill \verb|{r}{s}{t}{u}|, ... \verb|\pmSub{\text{Add}{p}{q}| & Substitution into theorems. Add `b's to the end of \verb|\pmsub| to increase the number of substitutions (up to four `b's). Each extra `b' adds two arguments. To substitute and specify the theorem as well, capitalize the `s' in \verb|\pmsub|. \\ - $\pmdot$, $\pmdott$, $\pmdottt$, $\pmdotttt$, $\pmdottttt$, $\pmdotttttt$ & \verb|\pmdot|, \verb|\pmdott|, \verb|\pmdottt|, ... & Add `t's to the end of \verb|\pmdot| to increase the number of dots (up to six `t's). Note that the spacing of \verb|\pmand| and \verb|\pmdot| differ. \\ + $\pmdot$, $\pmdott$, $\pmdottt$, $\pmdotttt$, $\pmdottttt$, $\pmdotttttt$ & \verb|\pmdot|, \verb|\pmdott|, \verb|\pmdottt|, ... & Add `t's to the end of \verb|\pmdot| to increase the number of dots (up to six `t's). \\ $\pmand$, $\pmandd$, $\pmanddd$, $\pmandddd$, $\pmanddddd$, $\pmandddddd$ & \verb|\pmand|, \verb|\pmandd|, \verb|\pmanddd|, ...& Add `d's to the end of \verb|\pmand| command to increase the number of dots (up to six `d's). \\ $\pmor$ & \verb|\pmor| & Disjunction. \\ $\pmnot$ & \verb|\pmnot| & Negation. Note its spacing differs from \verb|\sim|. \\ |