diff options
author | Karl Berry <karl@freefriends.org> | 2021-02-25 15:02:24 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2021-02-25 15:02:24 +0000 |
commit | c981495e9023fde594c00738d9ea5a8d1ffdc21e (patch) | |
tree | 8986cfa3eed85ec2aa258bf29817777ed0b22f29 /Master/texmf-dist/tex/latex/principia/principia.sty | |
parent | 856273ea48bffff4ac8f10c0d45c9eddb545d78f (diff) |
principia (25feb21)
git-svn-id: svn://tug.org/texlive/trunk@57902 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/latex/principia/principia.sty')
-rw-r--r-- | Master/texmf-dist/tex/latex/principia/principia.sty | 61 |
1 files changed, 41 insertions, 20 deletions
diff --git a/Master/texmf-dist/tex/latex/principia/principia.sty b/Master/texmf-dist/tex/latex/principia/principia.sty index f965b0ff66d..14a99d9fa3b 100644 --- a/Master/texmf-dist/tex/latex/principia/principia.sty +++ b/Master/texmf-dist/tex/latex/principia/principia.sty @@ -14,15 +14,29 @@ \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. \newcommand{\pmsub}[2]{\bigg \lbrack \small \begin{array}{c} #1 \\ \hline #2 \end{array} \bigg \rbrack} %This is the substitution command. -\newcommand{\pmSub}[3]{\bigg \lbrack \normalsize #1 \text{ } \small \begin{array}{c} #2 \\ \hline #3 \end{array} \bigg \rbrack} %This is the substitution command. \newcommand{\pmsubb}[4]{\bigg \lbrack \small \begin{array}{c c} #1, & #3 \\ \hline #2, & #4 \end{array} \bigg \rbrack} %This is the substitution command. -\newcommand{\pmSubb}[5]{\bigg \lbrack \normalsize #1 \text{ } \small \begin{array}{c c} #2, & #4 \\ \hline #3, & #5 \end{array} \bigg \rbrack} %This is the substitution command. \newcommand{\pmsubbb}[6]{\bigg \lbrack \small \begin{array}{c c c} #1, & #3, & #5 \\ \hline #2, & #4, & #6 \end{array} \bigg \rbrack} %This is the substitution command. -\newcommand{\pmSubbb}[7]{\bigg \lbrack \normalsize #1 \text{ } \small \begin{array}{c c c} #2, & #4, & #6 \\ \hline #3, & #5, & #7 \end{array} \bigg \rbrack} %This is the substitution command. \newcommand{\pmsubbbb}[8]{\bigg \lbrack \small \begin{array}{c c c c} #1, & #3, & #5, & #7 \\ \hline #2, & #4, & #6, & #8 \end{array} \bigg \rbrack} %This is the substitution command. -\newcommand{\pmSubbbb}[9]{\bigg \lbrack \normalsize #1 \text{ } \small \begin{array}{c c c c} #1, & #3, & #5, & #7 \\ \hline #2, & #4, & #6, & #8 \end{array} \bigg \rbrack} %This is the substitution command. +\newcommand{\pmSub}[3]{\bigg \lbrack \normalsize #1 \text{ } \small \begin{array}{c} #2 \\ \hline #3 \end{array} \bigg \rbrack} %This is the substitution command. +\newcommand{\pmSubb}[5]{\bigg \lbrack \normalsize #1 \text{ } \small \begin{array}{c c} #2, & #4 \\ \hline #3, & #5 \end{array} \bigg \rbrack} %This is the substitution command. +\newcommand{\pmSubbb}[7]{\bigg \lbrack \normalsize #1 \text{ } \small \begin{array}{c c c} #2, & #4, & #6 \\ \hline #3, & #5, & #7 \end{array} \bigg \rbrack} %This is the substitution command. +\newcommand{\pmSubbbb}[9]{\bigg \lbrack \normalsize #1 \text{ } \small \begin{array}{c c c c} #1, & #3, & #5, & #7 \\ \hline #2, & #4, & #6, & #8 \end{array} \bigg \rbrack} %This is the substitution command. +\newcommand{\pmsUb}[2]{\small \begin{array}{c} #1 \\ \hline #2 \end{array}} %This is the substitution command. +\newcommand{\pmsUbb}[4]{\small \begin{array}{c c} #1, & #3 \\ \hline #2, & #4 \end{array}} %This is the substitution command. +\newcommand{\pmsUbbb}[6]{\small \begin{array}{c c c} #1, & #3, & #5 \\ \hline #2, & #4, & #6 \end{array}} %This is the substitution command. +\newcommand{\pmsUbbbb}[8]{\small \begin{array}{c c c c} #1, & #3, & #5, & #7 \\ \hline #2, & #4, & #6, & #8 \end{array}} %This is the substitution command. +\newcommand{\pmSUb}[3]{\normalsize #1 \text{ } \small \begin{array}{c} #2 \\ \hline #3 \end{array}} %This is the substitution command. +\newcommand{\pmSUbb}[5]{\normalsize #1 \text{ } \small \begin{array}{c c} #2, & #4 \\ \hline #3, & #5 \end{array}} %This is the substitution command. +\newcommand{\pmSUbbb}[7]{\normalsize #1 \text{ } \small \begin{array}{c c c} #2, & #4, & #6 \\ \hline #3, & #5, & #7 \end{array}} %This is the substitution command. +\newcommand{\pmSUbbbb}[9]{\normalsize #1 \text{ } \small \begin{array}{c c c c} #1, & #3, & #5, & #7 \\ \hline #2, & #4, & #6, & #8 \end{array}} %This is the substitution command. \newcommand{\pmthm}{\mathpunct{\text{\scalebox{.5}[1]{$\boldsymbol\vdash$}}}} %This is the theorem sign. \newcommand{\pmast}{\text{\resizebox{!}{.75\height}{\ding{107}}}} %This is the sign introducing a theorem number. \newcommand{\pmcdot}{\text{\raisebox{.05cm}{$\boldsymbol\cdot$}}} %This is a sign introducing a theorem sub-number. @@ -39,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} @@ -63,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$}}} @@ -74,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$}}}} @@ -167,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} @@ -198,9 +213,10 @@ \newcommand{\pmSele}{\pmcin_{\Delta}} \newcommand{\pmself}[1]{F_{\small\Delta}\mathbf{`}#1} \newcommand{\pmSelf}{F_{\Delta}} +\newcommand{\pmex}[1]{\text{Cls} \mathop{\text{excl}}\mathbf{`}#1} \newcommand{\pmexc}{\text{Cls}^2 \mathop{\text{excl}}} \newcommand{\pmexcc}[1]{\text{Cl} \mathop{\text{excl}}\textbf{`}#1} -\newcommand{\pmexcn}{\text{Cls} \mathop{\text{ex}}^2 \mathop{\text{excl}}} +\newcommand{\pmexcn}{\text{Cls} \mathop{\text{ex}^2} \mathop{\text{excl}}} \newcommand{\pmselc}[2]{#1 \mathrel{\rotatebox[origin=c]{270}{$\boldsymbol{\mapsto}$}} #2} \newcommand{\pmmultr}{\mathop{\text{Rel}} \mathop{\text{Mult}}} \newcommand{\pmmultc}{\mathop{\text{Cls}^2} \mathop{\text{Mult}}} @@ -231,4 +247,9 @@ \newcommand{\pmNc}{\text{Nc}} \newcommand{\pmNC}{\text{NC}} \newcommand{\pmnoc}[1]{\text{N}_0\text{c}\textbf{`}#1} -\newcommand{\pmNoc}{\text{N}_0\text{c}}
\ No newline at end of file +\newcommand{\pmNoc}{\text{N}_0\text{c}} +\newcommand{\pmnocind}[1]{\text{N}_0\text{Cinduct}\textbf{`}#1} +\newcommand{\pmNocind}{\text{N}_0\text{Cinduct}} + +\newcommand{\pmclsrefl}{\text{Cls} \mathop{\text{refl}}} +\newcommand{\pmncrefl}{\text{NC} \mathop{\text{refl}}}
\ No newline at end of file |