diff options
| -rw-r--r-- | README | 4 | ||||
| -rw-r--r-- | principia.log | 544 | ||||
| -rw-r--r-- | principia.pdf | bin | 366457 -> 381284 bytes | |||
| -rw-r--r-- | principia.sty | 31 | ||||
| -rw-r--r-- | principia.tex | 5 | ||||
| -rw-r--r-- | principia.zip | bin | 357487 -> 372083 bytes |
6 files changed, 566 insertions, 18 deletions
@@ -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) 2020). 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) 2021). It is released under the LaTeX Project Public License 1.3c. -This is principia package Version 1.1 (25/10/2020). Like Version 1.0, it covers typesetting the notations through Volume I of "Principia Mathematica". Version 1.1 has some minor updates. 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 1.2 (23/02/2021). Like Versions 1.0-1.1, this version covers typesetting the notations through Volume I of "Principia Mathematica". Version 1.2 has some minor updates. 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. Updates to include all notations throughout Volumes II and III are planned. Further information and updates can be found at https://logicalatomist.github.io/principia/ diff --git a/principia.log b/principia.log new file mode 100644 index 0000000..febdb25 --- /dev/null +++ b/principia.log @@ -0,0 +1,544 @@ +This is pdfTeX, Version 3.14159265-2.6-1.40.21 (MiKTeX 20.10) (preloaded format=pdflatex 2020.10.29) 23 FEB 2021 21:45 +entering extended mode +**./principia.tex +(principia.tex +LaTeX2e <2020-10-01> patch level 1 +L3 programming layer <2020-10-05> xparse <2020-03-03> +("C:\Program Files\MiKTeX 2.9\tex/latex/base\article.cls" +Document Class: article 2020/04/10 v1.4m Standard LaTeX document class +("C:\Program Files\MiKTeX 2.9\tex/latex/base\size12.clo" +File: size12.clo 2020/04/10 v1.4m Standard LaTeX file (size option) +) +\c@part=\count175 +\c@section=\count176 +\c@subsection=\count177 +\c@subsubsection=\count178 +\c@paragraph=\count179 +\c@subparagraph=\count180 +\c@figure=\count181 +\c@table=\count182 +\abovecaptionskip=\skip47 +\belowcaptionskip=\skip48 +\bibindent=\dimen138 +) + +LaTeX Warning: You have requested package `', + but the package provides `principia'. + +Package: principia 2020/10/25 principia package version 1.1 +(C:\Users\dcelk\AppData\Roaming\MiKTeX\2.9\tex/latex/preprint\fullpage.sty +Package: fullpage 1999/02/23 1.1 (PWD) +\FP@margin=\skip49 +) +("C:\Program Files\MiKTeX 2.9\tex/latex/base\fontenc.sty" +Package: fontenc 2020/08/10 v2.0s Standard LaTeX package +) +("C:\Program Files\MiKTeX 2.9\tex/latex/base\inputenc.sty" +Package: inputenc 2020/08/01 v1.3d Input encoding file +\inpenc@prehook=\toks15 +\inpenc@posthook=\toks16 +) +(C:\Users\dcelk\AppData\Roaming\MiKTeX\2.9\tex/latex/setspace\setspace.sty +Package: setspace 2011/12/19 v6.7a set line spacing +) +(principia.sty +Package: principia 2020/10/25 principia package version 1.1 + ("C:\Program Files\MiKTeX 2.9\tex/latex/amsfonts\amssymb.sty" +Package: amssymb 2013/01/14 v3.01 AMS font symbols + +("C:\Program Files\MiKTeX 2.9\tex/latex/amsfonts\amsfonts.sty" +Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support +\@emptytoks=\toks17 +\symAMSa=\mathgroup4 +\symAMSb=\mathgroup5 +LaTeX Font Info: Redeclaring math symbol \hbar on input line 98. +LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' +(Font) U/euf/m/n --> U/euf/b/n on input line 106. +)) +("C:\Program Files\MiKTeX 2.9\tex/latex/amsmath\amsmath.sty" +Package: amsmath 2020/09/23 v2.17i AMS math features +\@mathmargin=\skip50 + +For additional information on amsmath, use the `?' option. +("C:\Program Files\MiKTeX 2.9\tex/latex/amsmath\amstext.sty" +Package: amstext 2000/06/29 v2.01 AMS text + +("C:\Program Files\MiKTeX 2.9\tex/latex/amsmath\amsgen.sty" +File: amsgen.sty 1999/11/30 v2.0 generic functions +\@emptytoks=\toks18 +\ex@=\dimen139 +)) +("C:\Program Files\MiKTeX 2.9\tex/latex/amsmath\amsbsy.sty" +Package: amsbsy 1999/11/29 v1.2d Bold Symbols +\pmbraise@=\dimen140 +) +("C:\Program Files\MiKTeX 2.9\tex/latex/amsmath\amsopn.sty" +Package: amsopn 2016/03/08 v2.02 operator names +) +\inf@bad=\count183 +LaTeX Info: Redefining \frac on input line 234. +\uproot@=\count184 +\leftroot@=\count185 +LaTeX Info: Redefining \overline on input line 399. +\classnum@=\count186 +\DOTSCASE@=\count187 +LaTeX Info: Redefining \ldots on input line 496. +LaTeX Info: Redefining \dots on input line 499. +LaTeX Info: Redefining \cdots on input line 620. +\Mathstrutbox@=\box47 +\strutbox@=\box48 +\big@size=\dimen141 +LaTeX Font Info: Redeclaring font encoding OML on input line 743. +LaTeX Font Info: Redeclaring font encoding OMS on input line 744. +\macc@depth=\count188 +\c@MaxMatrixCols=\count189 +\dotsspace@=\muskip16 +\c@parentequation=\count190 +\dspbrk@lvl=\count191 +\tag@help=\toks19 +\row@=\count192 +\column@=\count193 +\maxfields@=\count194 +\andhelp@=\toks20 +\eqnshift@=\dimen142 +\alignsep@=\dimen143 +\tagshift@=\dimen144 +\tagwidth@=\dimen145 +\totwidth@=\dimen146 +\lineht@=\dimen147 +\@envbody=\toks21 +\multlinegap=\skip51 +\multlinetaggap=\skip52 +\mathdisplay@stack=\toks22 +LaTeX Info: Redefining \[ on input line 2923. +LaTeX Info: Redefining \] on input line 2924. +) +("C:\Program Files\MiKTeX 2.9\tex/latex/graphics\graphicx.sty" +Package: graphicx 2020/09/09 v1.2b Enhanced LaTeX Graphics (DPC,SPQR) + +("C:\Program Files\MiKTeX 2.9\tex/latex/graphics\keyval.sty" +Package: keyval 2014/10/28 v1.15 key=value parser (DPC) +\KV@toks@=\toks23 +) +("C:\Program Files\MiKTeX 2.9\tex/latex/graphics\graphics.sty" +Package: graphics 2020/08/30 v1.4c Standard LaTeX Graphics (DPC,SPQR) + +("C:\Program Files\MiKTeX 2.9\tex/latex/graphics\trig.sty" +Package: trig 2016/01/03 v1.10 sin cos tan (DPC) +) +("C:\Program Files\MiKTeX 2.9\tex/latex/graphics-cfg\graphics.cfg" +File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration +) +Package graphics Info: Driver file: pdftex.def on input line 105. + +("C:\Program Files\MiKTeX 2.9\tex/latex/graphics-def\pdftex.def" +File: pdftex.def 2020/10/05 v1.2a Graphics/color driver for pdftex +)) +\Gin@req@height=\dimen148 +\Gin@req@width=\dimen149 +) +("C:\Program Files\MiKTeX 2.9\tex/latex/marvosym\marvosym.sty" +Package: marvosym 2011/07/20 v2.2 Martin Vogel's Symbols font definitions +) +("C:\Program Files\MiKTeX 2.9\tex/latex/psnfss\pifont.sty" +Package: pifont 2020/03/25 PSNFSS-v9.3 Pi font support (SPQR) +LaTeX Font Info: Trying to load font information for U+pzd on input line 63. + + +("C:\Program Files\MiKTeX 2.9\tex/latex/psnfss\upzd.fd" +File: upzd.fd 2001/06/04 font definitions for U/pzd. +) +LaTeX Font Info: Trying to load font information for U+psy on input line 64. + + +("C:\Program Files\MiKTeX 2.9\tex/latex/psnfss\upsy.fd" +File: upsy.fd 2001/06/04 font definitions for U/psy. +))) +("C:\Program Files\MiKTeX 2.9\tex/latex/l3backend\l3backend-pdftex.def" +File: l3backend-pdftex.def 2020-09-24 L3 backend support: PDF output (pdfTeX) +\l__kernel_color_stack_int=\count195 +\l__pdf_internal_box=\box49 +) +(principia.aux) +\openout1 = `principia.aux'. + +LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 27. +LaTeX Font Info: ... okay on input line 27. +LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 27. +LaTeX Font Info: ... okay on input line 27. +LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 27. +LaTeX Font Info: ... okay on input line 27. +LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 27. +LaTeX Font Info: ... okay on input line 27. +LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 27. +LaTeX Font Info: ... okay on input line 27. +LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 27. +LaTeX Font Info: ... okay on input line 27. +LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 27. +LaTeX Font Info: ... okay on input line 27. + +("C:\Program Files\MiKTeX 2.9\tex/context/base/mkii\supp-pdf.mkii" +[Loading MPS to PDF converter (version 2006.09.02).] +\scratchcounter=\count196 +\scratchdimen=\dimen150 +\scratchbox=\box50 +\nofMPsegments=\count197 +\nofMParguments=\count198 +\everyMPshowfont=\toks24 +\MPscratchCnt=\count199 +\MPscratchDim=\dimen151 +\MPnumerator=\count266 +\makeMPintoPDFobject=\count267 +\everyMPtoPDFconversion=\toks25 +) ("C:\Program Files\MiKTeX 2.9\tex/latex/epstopdf-pkg\epstopdf-base.sty" +Package: epstopdf-base 2020-01-24 v2.11 Base part for package epstopdf +Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4 +85. +) +LaTeX Font Info: Trying to load font information for T1+cmtt on input line 2 +8. + +("C:\Program Files\MiKTeX 2.9\tex/latex/base\t1cmtt.fd" +File: t1cmtt.fd 2019/12/16 v2.5j Standard LaTeX font definitions +) +LaTeX Font Info: Trying to load font information for U+msa on input line 28. + + +("C:\Program Files\MiKTeX 2.9\tex/latex/amsfonts\umsa.fd" +File: umsa.fd 2013/01/14 v3.01 AMS symbols A +) +LaTeX Font Info: Trying to load font information for U+msb on input line 28. + + +("C:\Program Files\MiKTeX 2.9\tex/latex/amsfonts\umsb.fd" +File: umsb.fd 2013/01/14 v3.01 AMS symbols B +) + +LaTeX Font Warning: Command \small invalid in math mode on input line 49. + + +LaTeX Font Warning: Command \small invalid in math mode on input line 49. + + +LaTeX Font Warning: Command \small invalid in math mode on input line 49. + + +LaTeX Font Warning: Command \normalsize invalid in math mode on input line 49. + + +LaTeX Font Warning: Command \small invalid in math mode on input line 49. + + +Underfull \hbox (badness 10000) in paragraph at lines 49--49 +[][][]\T1/cmtt/m/n/12 \pmsub{p}{q}[]\T1/cmr/m/n/12 , + [] + + +Underfull \hbox (badness 10000) in paragraph at lines 49--49 +[][]\T1/cmtt/m/n/12 \pmsubb{p}{q}{r}{s}[]\T1/cmr/m/n/12 , + [] + + +Underfull \hbox (badness 10000) in paragraph at lines 50--50 +[][][]\T1/cmtt/m/n/12 \pmdot[]\T1/cmr/m/n/12 , [][]\T1/cmtt/m/n/12 \pmdott[]\T1 +/cmr/m/n/12 , + [] + + +Underfull \hbox (badness 10000) in paragraph at lines 51--51 +[][][]\T1/cmtt/m/n/12 \pmand[]\T1/cmr/m/n/12 , [][]\T1/cmtt/m/n/12 \pmandd[]\T1 +/cmr/m/n/12 , + [] + + +Overfull \hbox (5.90004pt too wide) in paragraph at lines 67--67 +[][][]\T1/cmtt/m/n/12 \pmpreddd{\phi}{x}{y}{z}| + [] + + +Overfull \hbox (22.60225pt too wide) in paragraph at lines 40--69 +[] + [] + +[1 + +{C:/Users/dcelk/AppData/Local/MiKTeX/2.9/pdftex/config/pdftex.map}] +Overfull \vbox (18.26869pt too high) has occurred while \output is active [] + + +[2] + +LaTeX Warning: \oval, \circle, or \line size unavailable on input line 85. + + +Overfull \vbox (1.5pt too high) detected at line 85 + [] + + +Overfull \vbox (1.5pt too high) detected at line 85 + [] + + +LaTeX Warning: \oval, \circle, or \line size unavailable on input line 85. + + +Overfull \vbox (1.5pt too high) detected at line 85 + [] + + +Overfull \vbox (1.5pt too high) detected at line 85 + [] + + +LaTeX Warning: \oval, \circle, or \line size unavailable on input line 85. + + +Overfull \vbox (1.5pt too high) detected at line 85 + [] + + +Overfull \vbox (1.5pt too high) detected at line 85 + [] + + +LaTeX Warning: \oval, \circle, or \line size unavailable on input line 85. + + +Overfull \vbox (1.5pt too high) detected at line 85 + [] + + +Overfull \vbox (1.5pt too high) detected at line 85 + [] + + +LaTeX Warning: \oval, \circle, or \line size unavailable on input line 85. + + +Overfull \vbox (1.5pt too high) detected at line 85 + [] + + +Overfull \vbox (1.5pt too high) detected at line 85 + [] + + +LaTeX Warning: \oval, \circle, or \line size unavailable on input line 85. + + +Overfull \vbox (1.5pt too high) detected at line 85 + [] + + +Overfull \vbox (1.5pt too high) detected at line 85 + [] + + +LaTeX Warning: \oval, \circle, or \line size unavailable on input line 85. + + +Overfull \vbox (1.5pt too high) detected at line 85 + [] + + +Overfull \vbox (1.5pt too high) detected at line 85 + [] + + +LaTeX Warning: \oval, \circle, or \line size unavailable on input line 98. + + +Overfull \vbox (1.5pt too high) detected at line 98 + [] + + +Overfull \vbox (1.5pt too high) detected at line 98 + [] + + +LaTeX Warning: \oval, \circle, or \line size unavailable on input line 98. + + +Overfull \vbox (1.5pt too high) detected at line 98 + [] + + +Overfull \vbox (1.5pt too high) detected at line 98 + [] + + +LaTeX Warning: \oval, \circle, or \line size unavailable on input line 98. + + +Overfull \vbox (1.5pt too high) detected at line 98 + [] + + +Overfull \vbox (1.5pt too high) detected at line 98 + [] + + +LaTeX Warning: \oval, \circle, or \line size unavailable on input line 98. + + +Overfull \vbox (1.5pt too high) detected at line 98 + [] + + +Overfull \vbox (1.5pt too high) detected at line 98 + [] + + +LaTeX Warning: \oval, \circle, or \line size unavailable on input line 98. + + +Overfull \vbox (1.5pt too high) detected at line 98 + [] + + +Overfull \vbox (1.5pt too high) detected at line 98 + [] + + +LaTeX Warning: \oval, \circle, or \line size unavailable on input line 98. + + +Overfull \vbox (1.5pt too high) detected at line 98 + [] + + +Overfull \vbox (1.5pt too high) detected at line 98 + [] + + +LaTeX Warning: \oval, \circle, or \line size unavailable on input line 98. + + +Overfull \vbox (1.5pt too high) detected at line 98 + [] + + +Overfull \vbox (1.5pt too high) detected at line 98 + [] + + +Overfull \hbox (22.60225pt too wide) in paragraph at lines 70--107 +[] + [] + + +Overfull \vbox (3.3756pt too high) has occurred while \output is active [] + + +[3] +Underfull \hbox (badness 10000) in paragraph at lines 109--109 +[][][]\T1/cmtt/m/n/12 \pmdscfr{R}{x}[]\T1/cmr/m/n/12 , + [] + + +Overfull \hbox (5.90004pt too wide) in paragraph at lines 123--123 +[][][]\T1/cmtt/m/n/12 \pmrlf{\alpha}{R}{\beta}| + [] + + +Overfull \hbox (5.90004pt too wide) in paragraph at lines 124--124 +[][][]\T1/cmtt/m/n/12 \pmrlF{\alpha}{R}{\beta}| + [] + +LaTeX Font Info: Trying to load font information for U+mvs on input line 126 +. +("C:\Program Files\MiKTeX 2.9\tex/latex/marvosym\umvs.fd") +Underfull \hbox (badness 10000) in paragraph at lines 140--140 +[][][]\T1/cmtt/m/n/12 \pmrtri{n}{R}[]\T1/cmr/m/n/12 , + [] + + +Overfull \hbox (22.60225pt too wide) in paragraph at lines 108--142 +[] + [] + + +Overfull \vbox (14.09262pt too high) has occurred while \output is active [] + + +[4] +Underfull \hbox (badness 10000) in paragraph at lines 144--144 +[][][]\T1/cmtt/m/n/12 \pmrtric{n}{R}[]\T1/cmr/m/n/12 , + [] + + +Underfull \hbox (badness 10000) in paragraph at lines 145--145 +[][][]\T1/cmtt/m/n/12 \pmrtdi{\alpha}{x}[]\T1/cmr/m/n/12 , + [] + + +Underfull \hbox (badness 10000) in paragraph at lines 146--146 +[][][]\T1/cmtt/m/n/12 \pmrtdc{\alpha}{x}[]\T1/cmr/m/n/12 , + [] + + +Underfull \hbox (badness 10000) in paragraph at lines 148--148 +[][][]\T1/cmtt/m/n/12 \pmoneone[]\T1/cmr/m/n/12 , [][]\T1/cmtt/m/n/12 \pmoneman +y[]\T1/cmr/m/n/12 , + [] + + +LaTeX Font Warning: Command \small invalid in math mode on input line 150. + + +LaTeX Font Warning: Command \small invalid in math mode on input line 151. + + +LaTeX Font Warning: Command \small invalid in math mode on input line 152. + + +Overfull \hbox (22.60225pt too wide) in paragraph at lines 143--173 +[] + [] + + +Overfull \vbox (5.80965pt too high) has occurred while \output is active [] + + +[5] (principia.aux) ) +Here is how much of TeX's memory you used: + 3252 strings out of 480202 + 39757 string characters out of 2887231 + 347927 words of memory out of 3000000 + 19760 multiletter control sequences out of 15000+200000 + 564595 words of font info for 110 fonts, out of 3000000 for 9000 + 1141 hyphenation exceptions out of 8191 + 72i,27n,77p,1022b,268s stack positions out of 5000i,500n,10000p,200000b,50000s +{C:/Program Files/MiKTeX 2.9/fonts/enc/dvips/cm-super/cm-s +uper-t1.enc}<C:/Program Files/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmbsy10 +.pfb><C:/Program Files/MiKTeX 2.9/fonts/type1/public/amsfonts/cmextra/cmbsy8.pf +b><C:/Program Files/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmbx12.pfb><C:/Pr +ogram Files/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmex10.pfb><C:/Program Fi +les/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmmi10.pfb><C:/Program Files/MiKT +eX 2.9/fonts/type1/public/amsfonts/cm/cmmi12.pfb><C:/Program Files/MiKTeX 2.9/f +onts/type1/public/amsfonts/cm/cmmi8.pfb><C:/Program Files/MiKTeX 2.9/fonts/type +1/public/amsfonts/cm/cmmib10.pfb><C:/Program Files/MiKTeX 2.9/fonts/type1/publi +c/amsfonts/cmextra/cmmib8.pfb><C:/Program Files/MiKTeX 2.9/fonts/type1/public/a +msfonts/cm/cmr12.pfb><C:/Program Files/MiKTeX 2.9/fonts/type1/public/amsfonts/c +m/cmr8.pfb><C:/Program Files/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmsy10.p +fb><C:/Program Files/MiKTeX 2.9/fonts/type1/public/amsfonts/latxfont/lcircle1.p +fb><C:/Program Files/MiKTeX 2.9/fonts/type1/public/marvosym/marvosym.pfb><C:/Pr +ogram Files/MiKTeX 2.9/fonts/type1/public/amsfonts/symbols/msam10.pfb><C:/Progr +am Files/MiKTeX 2.9/fonts/type1/public/cm-super/sfbx0800.pfb><C:/Program Files/ +MiKTeX 2.9/fonts/type1/public/cm-super/sfbx1000.pfb><C:/Program Files/MiKTeX 2. +9/fonts/type1/public/cm-super/sfbx1200.pfb><C:/Program Files/MiKTeX 2.9/fonts/t +ype1/public/cm-super/sfrm0800.pfb><C:/Program Files/MiKTeX 2.9/fonts/type1/publ +ic/cm-super/sfrm1200.pfb><C:/Program Files/MiKTeX 2.9/fonts/type1/public/cm-sup +er/sfrm1440.pfb><C:/Program Files/MiKTeX 2.9/fonts/type1/public/cm-super/sfrm20 +74.pfb><C:/Program Files/MiKTeX 2.9/fonts/type1/public/cm-super/sfti1200.pfb><C +:/Program Files/MiKTeX 2.9/fonts/type1/public/cm-super/sfti2074.pfb><C:/Program + Files/MiKTeX 2.9/fonts/type1/public/cm-super/sftt1200.pfb><C:/Program Files/Mi +KTeX 2.9/fonts/type1/public/cm-super/sftt1440.pfb><C:/Program Files/MiKTeX 2.9/ +fonts/type1/public/cm-super/sftt2074.pfb><C:/Program Files/MiKTeX 2.9/fonts/typ +e1/urw/zapfding/uzdr.pfb> +Output written on principia.pdf (5 pages, 381284 bytes). +PDF statistics: + 131 PDF objects out of 1000 (max. 8388607) + 0 named destinations out of 1000 (max. 500000) + 1 words of extra memory for PDF output out of 10000 (max. 10000000) + diff --git a/principia.pdf b/principia.pdf Binary files differindex c57ba8e..7a86501 100644 --- a/principia.pdf +++ b/principia.pdf diff --git a/principia.sty b/principia.sty index 0ceafab..3d3e954 100644 --- a/principia.sty +++ b/principia.sty @@ -14,8 +14,10 @@ \RequirePackage{pifont} %This loads the symbols such as the eight-pointed asterisk.
%Meta-logical symbols
+\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.
+\newcommand{\pmhp}{\text{Hp}} %This typesets Hp (short for antecedent), which occurs at the beginning of a proof.
\newcommand{\pmprop}{\text{Prop}} %This occurs at the end of a proof.
\newcommand{\pmithm}{\pmimp\;\pmthm} %This occurs when a meta-theoretic implication is asserted.
\newcommand{\pmbr}[1]{\bigg \lbrack \normalsize #1 \bigg \rbrack} %These are larger brackets for substitution.
@@ -51,13 +53,14 @@ \newcommand{\pmdotttttt}{\pmdott\hspace{.1em}\pmdott\hspace{.1em}\pmdott}
%Logical connectives
-\newcommand{\pmnot}{\mathord{\sim}}
-\newcommand{\pmimp}{\mathbin{\boldsymbol{\supset}}}
-\newcommand{\pmiff}{\mathbin{\equiv}}
-\newcommand{\pmor}{\mathbin{\boldsymbol{\vee}}}
+\newcommand{\pmnot}{\mathord{\ooalign{$\boldsymbol{\sim}\mkern.5mu$\hidewidth\cr$\boldsymbol{\sim}$\cr\hidewidth$\mkern.5mu\boldsymbol{\sim}$}}}
+\newcommand{\pmimp}{\mathbin{\ooalign{$\boldsymbol{\supset}\mkern.5mu$\hidewidth\cr$\boldsymbol{\supset}$\cr\hidewidth$\mkern.5mu\boldsymbol{\supset}$}}}
+\newcommand{\pmiff}{\mathbin{\ooalign{$\boldsymbol{\equiv}\mkern.5mu$\hidewidth\cr$\boldsymbol{\equiv}$\cr\hidewidth$\mkern.5mu\boldsymbol{\equiv}$}}}
+\newcommand{\pmor}{\mathbin{\ooalign{$\boldsymbol{\vee}\mkern.5mu$\hidewidth\cr$\boldsymbol{\vee}$\cr\hidewidth$\mkern.5mu\boldsymbol{\vee}$}}}
+\newcommand{\pmprod}{\mathbin{\ooalign{$\boldsymbol{\wedge}\mkern.5mu$\hidewidth\cr$\boldsymbol{\wedge}$\cr\hidewidth$\mkern.5mu\boldsymbol{\wedge}$}}}
\newcommand{\pmall}[1]{(#1)}
-\newcommand{\pmsome}[1]{(\text{\raisebox{.5em}{\rotatebox{180}{E}}}#1)}
-\newcommand{\pmSome}{\text{\raisebox{.5em}{\rotatebox{180}{E}}}}
+\newcommand{\pmsome}[1]{(\text{\raisebox{.5em}{\rotatebox{180}{\textbf{E}}}}#1)}
+\newcommand{\pmSome}{\text{\raisebox{.5em}{\rotatebox{180}{\textbf{E}}}}}
\newcommand{\pmand}{\mathrel{\hbox{\rule{.3ex}{.3ex}}}}
\newcommand{\pmandd}{\overset{\pmand}{\pmand}}
\newcommand{\pmanddd}{\pmandd\hspace{.1em}\pmand}
@@ -75,10 +78,10 @@ \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{\pmnid}{\mathrel{\ooalign{$=$\cr\hidewidth\footnotesize\rotatebox[origin=c]{210}{\textbf{/}}\hidewidth\cr}}} %*13.01
-\newcommand{\pmiota}{\rotatebox[origin=c]{180}{$\iota$}} %the rotated Greek iota used in definite descriptions
+\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{\pmdsc}[1]{(\pmiota#1)} %*14.01
\newcommand{\pmDsc}{\pmiota} %*14.01
-\newcommand{\pmexists}{\text{E}\pmshr} %*14.02
+\newcommand{\pmexists}{\textbf{E}\hspace{.1em}\pmshr} %*14.02
%Class signs
\newcommand{\pmcuni}{\text{\rotatebox[origin=c]{180}{$\Lambda$}}}
@@ -86,13 +89,13 @@ \newcommand{\pmcls}[2]{\pmhat{#1}(#2)}
\newcommand{\pmCls}{\text{Cls}}
\newcommand{\pmClsn}[1]{\text{Cls}^{#1}}
-\newcommand{\pmcexists}{\text{\raisebox{.5em}{\rotatebox{180}{E}}}\mathop{\pmshr}}
+\newcommand{\pmcexists}{\text{\raisebox{.5em}{\rotatebox{180}{\textbf{E}}}}\hspace{-.1em}\mathop{\pmshr}}
\newcommand{\pmccmp}[1]{\boldsymbol{-}#1}
\newcommand{\pmcmin}[2]{#1\boldsymbol{-}#2}
-\newcommand{\pmcin}{\mathop{\epsilon}}
-\newcommand{\pmccup}{\mathop{\scalebox{1.3}[1.75]{$\put(3, 2.5){\oval(4,4)[b]}\phantom{\circ}$}}}
-\newcommand{\pmccap}{\mathop{\scalebox{1.3}[1.75]{$\put(3, 2){\oval(4,1)[t]}\phantom{\circ}$}}}
-\newcommand{\pmcinc}{\mathop{\boldsymbol{\subset}}}
+\newcommand{\pmcin}{\mathop{\boldsymbol{\epsilon}}}
+\newcommand{\pmccup}{\mathop{\ooalign{\scalebox{1.3}[1.75]{$\put(3, 2.5){\oval(4,4)[b]}\phantom{\circ}$}\cr\hidewidth\hspace{.1em}\scalebox{1.3}[1.75]{$\put(3, 2.5){\oval(4,4)[b]}\phantom{\circ}$}\cr\hidewidth\hspace{.2em}\scalebox{1.3}[1.75]{$\put(3, 2.5){\oval(4,4)[b]}\phantom{\circ}$}\cr\hidewidth\hspace{.3em}\scalebox{1.3}[1.75]{$\put(3, 2.5){\oval(4,4)[b]}\phantom{\circ}$}\cr\hidewidth\hspace{.4em}\scalebox{1.3}[1.75]{$\put(3, 2.5){\oval(4,4)[b]}\phantom{\circ}$}\cr\hidewidth\hspace{.5em}\scalebox{1.3}[1.75]{$\put(3, 2.5){\oval(4,4)[b]}\phantom{\circ}$}\cr\hidewidth\hspace{.6em}\scalebox{1.3}[1.75]{$\put(3, 2.5){\oval(4,4)[b]}\phantom{\circ}$}}}}
+\newcommand{\pmccap}{\mathop{\ooalign{\scalebox{1.3}[1.75]{$\put(3, 2){\oval(4,1)[t]}\phantom{\circ}$}\cr\hidewidth\hspace{.1em}\scalebox{1.3}[1.75]{$\put(3, 2){\oval(4,1)[t]}\phantom{\circ}$}\cr\hidewidth\hspace{.2em}\scalebox{1.3}[1.75]{$\put(3, 2){\oval(4,1)[t]}\phantom{\circ}$}\cr\hidewidth\hspace{.3em}\scalebox{1.3}[1.75]{$\put(3, 2){\oval(4,1)[t]}\phantom{\circ}$}\cr\hidewidth\hspace{.4em}\scalebox{1.3}[1.75]{$\put(3, 2){\oval(4,1)[t]}\phantom{\circ}$}\cr\hidewidth\hspace{.5em}\scalebox{1.3}[1.75]{$\put(3, 2){\oval(4,1)[t]}\phantom{\circ}$}\cr\hidewidth\hspace{.6em}\scalebox{1.3}[1.75]{$\put(3, 2){\oval(4,1)[t]}\phantom{\circ}$}}}}
+\newcommand{\pmcinc}{\mathop{\ooalign{$\boldsymbol{\subset}$\cr\hidewidth$\hspace{.1em}\boldsymbol{\subset}$\cr\hidewidth$\hspace{.15em}\boldsymbol{\subset}$\cr\hidewidth$\hspace{.2em}\boldsymbol{\subset}$}}}
%Relation signs
\newcommand{\pmruni}{\dot{\text{\rotatebox[origin=c]{180}{$\Lambda$}}}}
@@ -179,7 +182,7 @@ \newcommand{\pmsrel}[1]{\text{Rel}\textbf{`}#1}
\newcommand{\pmRel}{\text{Rel}}
\newcommand{\pmReln}[1]{\text{Rel}^{#1}}
-\newcommand{\pmrin}{\mathop{\epsilon}}
+\newcommand{\pmrin}{\mathop{\boldsymbol{\epsilon}}}
%Relative type symbols
\newcommand{\pmrt}[1]{t\textbf{`}#1}
diff --git a/principia.tex b/principia.tex index 37a7a75..81d04f9 100644 --- a/principia.tex +++ b/principia.tex @@ -3,6 +3,7 @@ \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
+%Version 1.2 (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/23
%Licensed under LaTeX Project Public License 1.3c.
%Copyright Landon D. C. Elkind, 2020. (https://landondcelkind.com/contact/).
@@ -19,7 +20,7 @@ \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.1)}
+\title{\texttt{principia.sty }\\ A \LaTeXe \space Package for Typesetting Whitehead and Russell's \textit{Principia Mathematica} (Version 1.2)}
\author{Landon D. C. Elkind \texttt{elkind@ualberta.ca}}
\date{\today}
@@ -32,7 +33,7 @@ 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.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.
+Version 1.2 (and 1.0-1.1) of \texttt{principia} 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{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.
diff --git a/principia.zip b/principia.zip Binary files differindex 7ddeaaa..122ac2f 100644 --- a/principia.zip +++ b/principia.zip |