diff options
author | Karl Berry <karl@freefriends.org> | 2022-07-26 19:41:43 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2022-07-26 19:41:43 +0000 |
commit | 7682fab0b5f67da429d083c98ad8a4135a2f7376 (patch) | |
tree | 9dcf75e137d02ce9e94e4e984920e78e3df8f6db /Master/texmf-dist/tex/latex/rec-thy | |
parent | b097d4a5b14944af0b31fe710a220899b8483754 (diff) |
rec-thy (26jul22)
git-svn-id: svn://tug.org/texlive/trunk@63982 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/latex/rec-thy')
-rw-r--r-- | Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty | 37 |
1 files changed, 32 insertions, 5 deletions
diff --git a/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty b/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty index 36f77892a93..2020e4527a4 100644 --- a/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty +++ b/Master/texmf-dist/tex/latex/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 |