From ba846abb1dbfe9c19277bb894d88c7cce953b4be Mon Sep 17 00:00:00 2001
From: Norbert Preining <norbert@preining.info>
Date: Wed, 27 Jul 2022 03:00:56 +0000
Subject: CTAN sync 202207270300

---
 macros/latex/contrib/rec-thy/rec-thy.sty | 37 +++++++++++++++++++++++++++-----
 1 file changed, 32 insertions(+), 5 deletions(-)

(limited to 'macros/latex/contrib/rec-thy/rec-thy.sty')

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
 
 
-- 
cgit v1.2.3

