From ba846abb1dbfe9c19277bb894d88c7cce953b4be Mon Sep 17 00:00:00 2001 From: Norbert Preining 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