summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/rec-thy/rec-thy.sty
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2022-07-27 03:00:56 +0000
committerNorbert Preining <norbert@preining.info>2022-07-27 03:00:56 +0000
commitba846abb1dbfe9c19277bb894d88c7cce953b4be (patch)
tree8e086071d6cad7f29221e0a94fe03e60c2d5aaa1 /macros/latex/contrib/rec-thy/rec-thy.sty
parentae37b2329c8f0475412617b3248d58906904d54d (diff)
CTAN sync 202207270300
Diffstat (limited to 'macros/latex/contrib/rec-thy/rec-thy.sty')
-rw-r--r--macros/latex/contrib/rec-thy/rec-thy.sty37
1 files changed, 32 insertions, 5 deletions
diff --git a/macros/latex/contrib/rec-thy/rec-thy.sty b/macros/latex/contrib/rec-thy/rec-thy.sty
index 36f77892a9..2020e4527a 100644
--- a/macros/latex/contrib/rec-thy/rec-thy.sty
+++ b/macros/latex/contrib/rec-thy/rec-thy.sty
@@ -10,10 +10,10 @@
\RequirePackage{etoolbox}
\RequirePackage{pict2e,picture}
\RequirePackage{xparse}
-\def\recthyVersion{3.8.1}
+\def\recthyVersion{3.8.2}
\ProvidesExplPackage
{rec-thy}
- {2022/04/24}
+ {2022/07/26}
{\recthyVersion}
{Provides commands for writing up recursion theory papers}
@@ -1955,7 +1955,7 @@
% \NewDocumentCommand{\REset}{D(){}omd()}{
% W_{#2\IfNoValueTF{#1}{}{, #1}}\IfNoValueTF{#3}{}{^{#3}}
% }
- \NewDocumentCommand{\REset}{D(){}oD(){#1}mD(){#3}}{{W_{#4\IfValueTF{#2}{, #2}{}}^{#5}}}
+ \NewDocumentCommand{\REset}{D(){}oD(){#1}mO{#2}}{{W_{#4\IfValueTF{#5}{, #5}{}}^{#3}}}
% \newcommand*{\REset}{\let\@PMG@parenarg\@PMG@undefined\let\@PMG@braketarg\@PMG@undefined\@REsetbody}
% \newcommand*{\@REsetbody}[1]{W\ifdefined\@PMG@parenarg
% ^{\@PMG@parenarg}%
@@ -2053,8 +2053,6 @@
\providecommand*{\Teq}{\Tequiv}
\providecommand*{\nTequiv}{\mathrel{\ncong_{\@recthy@TSYM}}}
\providecommand*{\nTeq}{\nTequiv}
- %turing below
-
\providecommand*{\Tlneq}{\lneq_{\@recthy@TSYM}}
\providecommand*{\Tleq}{\leq_{\@recthy@TSYM}}
\providecommand*{\Tgneq}{\gneq_{\@recthy@TSYM}}
@@ -2091,6 +2089,35 @@
\newcommand*{\ttless}{<_{\@recthy@ttSYM}}
\newcommand*{\ttnleq}{\nleq_{\@recthy@ttSYM}}
\newcommand*{\ttngeq}{\ngeq_{\@recthy@ttSYM}}
+
+%arithmetic comparisons
+
+
+
+ \newcommand*{\@recthy@ASYM}{\symbf{a}}
+ \providecommand*{\Adegvar}[1]{\symbf{#1}_{\@recthy@ASYM}}
+ \providecommand*{\Aequiv}{\mathrel{\equiv_{\@recthy@ASYM}}}
+ \providecommand*{\Aeq}{\Aequiv}
+ \providecommand*{\nAequiv}{\mathrel{\ncong_{\@recthy@ASYM}}}
+ \providecommand*{\nAeq}{\nAequiv}
+ \providecommand*{\Alneq}{\lneq_{\@recthy@ASYM}}
+ \providecommand*{\Aleq}{\leq_{\@recthy@ASYM}}
+ \providecommand*{\Agneq}{\gneq_{\@recthy@ASYM}}
+ \providecommand*{\Ageq}{\geq_{\@recthy@ASYM}}
+ \providecommand*{\Agtr}{>_{\@recthy@ASYM}}
+ \providecommand*{\Aless}{<_{\@recthy@ASYM}}
+ \providecommand*{\nAleq}{\nleq_{\@recthy@ASYM}}
+ \providecommand*{\nAgeq}{\ngeq_{\@recthy@ASYM}}
+ \providecommand*{\wjump}[1]{\jumpn{#1}{\omega}}
+ \providecommand*{\zerow}[1]{\zeron{\omega}}
+
+ \newcommand*{\Azerosym}{\symbf{0}_{\@recthy@ASYM}}
+ \providecommand*{\Azero}{{\Azerosym}}
+ \providecommand*{\Azeron}[1]{{\Azerosym}^{(#1)}}
+ \providecommand*{\Azeroj}{\jump{{\Azerosym}}}
+ \providecommand*{\Azerojj}{\jjump{\Azerosym}}
+ \providecommand*{\Azerojjj}{\jjjump{\Azerosym}}
+
\fi