summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/rec-thy
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
committerNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
commite0c6872cf40896c7be36b11dcc744620f10adf1d (patch)
tree60335e10d2f4354b0674ec22d7b53f0f8abee672 /macros/latex/contrib/rec-thy
Initial commit
Diffstat (limited to 'macros/latex/contrib/rec-thy')
-rw-r--r--macros/latex/contrib/rec-thy/README30
-rw-r--r--macros/latex/contrib/rec-thy/rec-thy.pdfbin0 -> 178442 bytes
-rw-r--r--macros/latex/contrib/rec-thy/rec-thy.sty1646
-rw-r--r--macros/latex/contrib/rec-thy/rec-thy.tex707
4 files changed, 2383 insertions, 0 deletions
diff --git a/macros/latex/contrib/rec-thy/README b/macros/latex/contrib/rec-thy/README
new file mode 100644
index 0000000000..a7c9a3aa04
--- /dev/null
+++ b/macros/latex/contrib/rec-thy/README
@@ -0,0 +1,30 @@
+This directory contains the rec-thy package. This package provides a large
+number of macros to express standard pieces of notation in recursion theory
+aka computability theory. The file rec-thy.pdf (which can be generated from
+rec-thy.tex) provides a guide to usage and examples of almost all the macros
+and package options as well as release notes.
+
+Comments, feedback and patches welcomes.
+
+Since my goal is to provide something of use to the community (and myself)
+and having seen some of the problems that can result from even well
+intentioned licenses later down the road, e.g., difficulties updating TeX,
+and since I still hold sole copyright I'm releasing this into the public
+domain (this applies retroactively to prior releases). I would *ask*
+anyone who reuses it not to be a dick about it (give credit, commit upgrades back,
+rename if forking etc..). Note, I will assume that any contributions to this
+package are implicitly released into the public domain as well unless told
+otherwise.
+
+Author: Peter Gerdes email: gerdes@invariant.org
+Github URL: https://github.com/TruePath/Recursion-Theory-Latex-Package
+
+10/15/2010 - v1.0 - Original Release
+01/01/2011 - v1.2
+06/20/2012 - v1.3
+09/26/2017 - v2.0 - Added support for introducing requirements, the subfunction relation and probably other undocumented features
+10/05/2017 - v2.1 - Fixed way packages are required so rec-thy can be loaded in a flexible order. Also fixed one or two bugs.
+11/14/2017 - v2.2 - Fixed \Tdeg so it works different on symbols and vars and added \Tdegof and \Tvarof. Added \subfunneq and \supfunneq.
+12/31/2017 - v2.3 - Added proof cases helper. Also fixed the issue with \ncequiv in XeLaTeX
+1/17/2018 - v2.4 - Added priority tree helpers. Should be more robust with respect to existing definitions of common commands
+2/14/2018 - v2.4.1 - Moved to using xparse to define the case macros and several other macros to allow nested brackets for optional arguments. Added the recf command and cleaned up some option processing. Also worked around the mathtools/unicode-math font bug described here: https://tex.stackexchange.com/questions/335164/incompatibility-with-mathtools-and-unicode-math-in-xelatex/335177 \ No newline at end of file
diff --git a/macros/latex/contrib/rec-thy/rec-thy.pdf b/macros/latex/contrib/rec-thy/rec-thy.pdf
new file mode 100644
index 0000000000..beb678f700
--- /dev/null
+++ b/macros/latex/contrib/rec-thy/rec-thy.pdf
Binary files differ
diff --git a/macros/latex/contrib/rec-thy/rec-thy.sty b/macros/latex/contrib/rec-thy/rec-thy.sty
new file mode 100644
index 0000000000..4f69ee5fe3
--- /dev/null
+++ b/macros/latex/contrib/rec-thy/rec-thy.sty
@@ -0,0 +1,1646 @@
+\NeedsTeXFormat{LaTeX2e}
+\ProvidesPackage{rec-thy}[2019/02/17 v3.01 Provides commands for writing up recursion theory papers]
+\makeatletter
+% \newcommand*{\@curpack}{\@currname} %rec-thy.sty
+\newcommand*{\@packinfo}[1]{\PackageInfo{rec-thy}{#1}}
+\newcommand*{\recthy@strip}[1]{%
+\ifcsname #1\endcsname%
+\else%
+\expandafter\edef\csname #1\endcsname{\expandafter\noexpand\csname @recthy@#1\endcsname}
+\fi
+}
+%leaves us a command \arg defined to do \@recthy@arg
+% \ProvidesPackage{\@curpack} %file name is package name
+
+% Release Notes
+% Version 1.2
+% Added mrref option
+% Fixed horrific option processing bug
+\RequirePackage{ltxcmds}
+\RequirePackage{ifxetex,ifpdf}
+\RequirePackage{suffix}
+\RequirePackage{ifmtarg}
+\RequirePackage{xifthen}
+\RequirePackage{xkeyval}
+\RequirePackage{etoolbox}
+\robustify\(
+\robustify\)
+\RequirePackage{xparse}
+\RequirePackage{ifxetex}
+\AtBeginDocument{
+\ltx@ifpackageloaded{amsmath}{}{\RequirePackage{amsmath}}
+\ltx@ifpackageloaded{amssymb}{}{\RequirePackage{amssymb}}
+\ltx@ifpackageloaded{amsfonts}{}{\RequirePackage{amsfonts}}
+\ltx@ifpackageloaded{mathtools}{}{\RequirePackage{mathtools}}
+\ltx@ifpackageloaded{unicode-math}{}{\RequirePackage{mathrsfs}\RequirePackage{mathbbol}}
+\ltx@ifpackageloaded{undertilde}{}{\RequirePackage{undertilde}}
+}
+
+% \ifxetex %workaround for bug...hopefully can dispense on later
+% \gdef\symbf#1{\symbf{#1}}
+% \fi
+% \global\let\symbf=\symbf
+\ifxetex
+\else
+ \def\symbf#1{\mathbf{#1}}
+\fi
+
+
+
+% \DeclareMathAlphabet{\mathbrush}{T1}{pbsi}{xl}{n}
+% \newcommand*{\mathbrush}[1]{\mathsfit{#1}}
+% \ifxetex
+% \RequirePackage{xltxtra}
+% \RequirePackage{unicode-math}
+% % \RequirePackage{fontspec,xunicode}
+% % \defaultfontfeatures{Mapping=tex-text,Scale=MatchLowercase} % To support LaTeX quoting style
+% % \input{/Users/TruePath/Library/texmf/tex/headers/appearence.tex}
+% \else
+% % \usepackage[utf8]{inputenc}
+% % \usepackage[T1]{fontenc}
+% % \RequirePackage{euscript}
+% % \newcommand*{\matheu}{\EuScript}
+
+% \ifpdf
+% \RequirePackage{cmap} % you can search in the pdf for umlauts and ligatures
+% \fi
+% \fi
+% \RequirePackage{stmaryrd}
+% \RequirePackage{marvosym}
+
+\def\PMG@arginit{\let\@PMG@parenarg\@PMG@undefined\let\@PMG@braketarg\@PMG@undefined}
+
+\def\@recthy@family{\@currname.\@currext} %The default family for this package...filename.ext
+%Define boolean options true if option passed false otherwise
+
+
+\newif\ifrecthy@nohyphenation \recthy@nohyphenationfalse
+\newif\ifrecthy@mrref \recthy@mrreffalse
+\newif\ifrecthy@nomath \recthy@nomathfalse
+\newif\ifrecthy@nodelim \recthy@nodelimfalse
+\newif\ifrecthy@nonames
+\recthy@nonamesfalse
+\newif\ifrecthy@nosets
+\recthy@nosetsfalse
+\newif\ifrecthy@noquants\recthy@noquantsfalse
+\newif\ifrecthy@nospaces \recthy@nospacesfalse
+\newif\ifrecthy@nostrings \recthy@nostringsfalse
+\newif\ifrecthy@notrees \recthy@notreesfalse
+\newif\ifrecthy@nopair \recthy@nopairfalse
+\newif\ifrecthy@nonames \recthy@nonamesfalse
+\newif\ifrecthy@nosetrels \recthy@nosetrelsfalse
+\newif\ifrecthy@noordinalnotations \recthy@noordinalnotationsfalse
+\newif\ifrecthy@nosyntax \recthy@nosyntaxfalse
+\newif\ifrecthy@nodegclasses \recthy@nodegclassesfalse
+\newif\ifrecthy@noforcing \recthy@noforcingfalse
+\newif\ifrecthy@nodegrees \recthy@nodegreesfalse
+\newif\ifrecthy@nocomputations \recthy@nocomputationsfalse
+\newif\ifrecthy@nostructresets \recthy@nostructresetsfalse
+\newif\ifrecthy@noreqhelper \recthy@noreqhelperfalse
+\newif\ifrecthy@nosubfun \recthy@nosubfunfalse
+\newif\ifrecthy@nopfcases \@ifclassloaded{beamer}{\recthy@nopfcasestrue}{\recthy@nopfcasesfalse}
+\newif\ifrecthy@noprioritytrees \recthy@noprioritytreesfalse
+\newif\ifrecthy@nosuppprioritytrees \recthy@nosuppprioritytreestrue
+\newif\ifrecthy@hyperreqs \recthy@hyperreqstrue
+\newif\ifrecthy@nooperators \recthy@nooperatorsfalse
+%\newif\ifrecthy@nomodule \recthy@nomodulefalse
+
+\DeclareOptionX{nohyphenation}{\recthy@nohyphenationtrue}
+\DeclareOptionX{mrref}{\recthy@mrreftrue}
+\DeclareOptionX{nomath}{\recthy@nomathtrue}
+\DeclareOptionX{nodelim}{\recthy@nodelimtrue}
+\DeclareOptionX{nonames}{\recthy@nonamestrue}
+\DeclareOptionX{nosets}{\recthy@nosetstrue}
+\DeclareOptionX{noquants}{\recthy@noquantstrue}
+\DeclareOptionX{nospaces}{\recthy@nospacestrue}
+\DeclareOptionX{nostrings}{\recthy@nostringstrue}
+\DeclareOptionX{notrees}{\recthy@notreestrue}
+\DeclareOptionX{nopair}{\recthy@nopairtrue}
+\DeclareOptionX{nosetrels}{\recthy@nosetrelstrue}
+\DeclareOptionX{noordinalnotations}{\recthy@noordinalnotationstrue}
+\DeclareOptionX{nosyntax}{\recthy@nosyntaxtrue}
+\DeclareOptionX{nodegclasses}{\recthy@nodegclassestrue}
+\DeclareOptionX{noforcing}{\recthy@noforcingtrue}
+\DeclareOptionX{nodegrees}{\recthy@nodegreestrue}
+\DeclareOptionX{nocomputations}{\recthy@nocomputationstrue}
+\DeclareOptionX{nostructresets}{\recthy@nostructresetstrue}
+\DeclareOptionX{noreqhelper}{\recthy@noreqhelpertrue}
+\DeclareOptionX{nosubfun}{\recthy@nosubfuntrue}
+\DeclareOptionX{nopfcases}{\recthy@nopfcasestrue}
+\DeclareOptionX{noprioritytrees}{\recthy@noprioritytreestrue}
+\DeclareOptionX{suppPriorityTrees}{\recthy@nosuppprioritytreesfalse}
+\DeclareOptionX{nohyperreqs}{\recthy@hyperreqsfalse}
+\DeclareOptionX{nooperators}{\recthy@nooperatorstrue}
+%\DeclareOptionX{nomodule}{\recthy@nomoduletrue}
+
+\DeclareOptionX{degjoin}{\def\Tjoin{\Tdegjoin}}
+
+\let\@recthy@modulescr\mathcal
+\DeclareOptionX{modulescr}[mathcal]{\letcs{\@recthy@modulescr}{#1}}
+
+\def\@recthy@ballsymb@default{\mathscr{B}}
+\let\@recthy@ballsymb\@recthy@ballsymb@default
+\DeclareOptionX{ballsymb}[@recthy@ballsymb@default]{\letcs{\@recthy@ballsymb}{#1}}
+
+\AtEndOfPackage{
+ \ifrecthy@noprioritytrees
+ \@packinfo{Not loading Priority Tree Helper}
+ \else
+ \@packinfo{Loading Priority Tree Helper.}
+ \providecommand{\PriorityTree}{\mathbb{T}}
+ \providecommand{\tpath}[1][]{\ifthenelse{\isempty{#1}}{\symbf{f}}{\mathbb{f}_{#1}}}
+ \providecommand{\leftof}{\mathbin{<_L}}
+ \providecommand{\leftofeq}{\mathbin{\leq_L}}
+ \providecommand{\rightof}{\mathbin{>_L}}
+ \providecommand{\rightofeq}{\mathbin{\geq_L}}
+ \providecommand{\nleftof}{\mathbin{\nless_L}}
+ \providecommand{\nleftofeq}{\mathbin{\nleq_L}}
+ \providecommand{\nrightof}{\mathbin{\ngtr_L}}
+ \providecommand{\nrightofeq}{\mathbin{\ngeq_L}}
+ \NewDocumentCommand{\PriorityTreeModule}{mO{}m}{\ensuremath{{\@recthy@modulescr{#1}}^{#2}_{#3} }}
+ \let\module=\PriorityTreeModule
+ \providecommand{\ball}[3][]{{\@recthy@ballsymb}^{#1}(#2, #3)}
+ \fi
+
+}
+
+
+\AtEndOfPackage{
+ \ifrecthy@nosuppprioritytrees
+ \@packinfo{Not loading Priority Tree Supplemental Helper}
+ \else
+ \providecommand*{\Astages}[1]{\mathcal{A}({#1})}
+ \providecommand*{\Vstages}[1]{\mathcal{V}(#1)}
+ \providecommand{\reqof}[2][]{\mathbb{r}(#2)}
+ \let\modof=\reqof
+ \providecommand{\ancestor}{\succ}
+ \providecommand{\descendant}{\prec}
+ \providecommand{\ancestoreq}{\succeq}
+ \providecommand{\descendanteq}{\preceq}
+ \let\ances=\ancestor
+ \let\anceseq=\ancestoreq
+ \let\desc=\descendant
+ \let\desceq=\descendanteq
+ \fi
+
+}
+
+\let\pmg@casefont\textsc
+\DeclareOptionX{pfcasefont}[textsc]{\letcs{\pmg@casefont}{#1}}
+
+\AtEndOfPackage{
+ \ifrecthy@nopfcases
+ \@packinfo{Not loading Proof Cases Helper}
+ \else
+ \@packinfo{Loading Proof Cases Helper.}
+ \RequirePackage{enumitem}
+ \ltx@ifpackageloaded{cleveref}{
+ \crefformat{pfcasesnonumi}{#2case~#1#3}
+ \Crefformat{pfcasesnonumi}{#2Case~#1#3}
+ \crefformat{pfcasesnonumii}{#2subcase~#1#3}
+ \Crefformat{pfcasesnonumii}{#2Subcase~#1#3}
+ \crefformat{pfcasesnonumiii}{#2subsubcase~#1#3}
+ \Crefformat{pfcasesnonumiii}{#2Subsubcase~#1#3}
+ \crefformat{pfcasesnumberedi}{#2case~#1#3}
+ \Crefformat{pfcasesnumberedi}{#2Case~#1#3}
+ \crefformat{pfcasesnumberedii}{#2case~#1#3}
+ \Crefformat{pfcasesnumberedii}{#2Case~#1#3}
+ \crefformat{pfcasesnumberediii}{#2case~#1#3}
+ \Crefformat{pfcasesnumberediii}{#2Case~#1#3}
+ }{}
+ \newlist{pfcasesnonum}{enumerate}{3}
+ \setlist[pfcasesnonum]{
+ label={\pmg@casefont{Case}}\protect\thiscase:~,
+ align=left,
+ labelsep=!,
+ itemindent=-1em,
+ leftmargin=2em,
+ labelindent=0pt,
+ labelwidth=0pt
+ }
+ \setlist[pfcasesnonum,1]{
+ before=\def\pfcasecounter@pmg{pfcasesnonumi},
+ }
+ \setlist[pfcasesnonum,2]{
+ before=\def\pfcasecounter@pmg{pfcasesnonumii},
+ }
+ \setlist[pfcasesnonum,3]{
+ before=\def\pfcasecounter@pmg{pfcasesnonumiii},
+ }
+ \newlist{pfcasesnumbered}{enumerate}{3}
+ \setlist[pfcasesnumbered]{
+ align=left,
+ labelsep=!,
+ itemindent=-1em,
+ leftmargin=2em,
+ labelindent=0pt,
+ labelwidth=0pt
+ }
+ \setlist[pfcasesnumbered,1]{
+ before=\def\pfcasecounter@pmg{pfcasesnumberedi},
+ label={{\pmg@casefont{Case}}~\arabic*\protect\thiscase:~},
+ ref={\arabic*},
+ }
+ \setlist[pfcasesnumbered,2]{
+ before=\def\pfcasecounter@pmg{pfcasesnumberedii},
+ label={{\pmg@casefont{Case}}~\arabic{pfcasesnumberedi}\alph*:\protect\thiscase.~},
+ ref={\arabic{pfcasesnumberedi}\alph*},
+ }
+ \setlist[pfcasesnumbered,3]{
+ before=\def\pfcasecounter@pmg{pfcasesnumberediii},
+ label={{\pmg@casefont{Case}}~\arabic{pfcasesnumberedi}\alph{pfcasesnumberedii}.\roman*:\protect\thiscase.~},
+ ref={\arabic{pfcasesnumberedi}\alph{pfcasesnumberedii}.\roman*},
+ }
+ \newenvironment{pfcases*}{
+ \ProvideDocumentCommand{\case}{o}{
+ \IfNoValueTF{##1}{
+ \def\thiscase{}%
+ }{
+ \def\thiscase{~##1}%
+ }
+ \item \ltx@ifpackageloaded{cleveref}{%
+ \cref@constructprefix{pfcases}{\cref@result}%
+ \protected@xdef\cref@currentlabel{[\pfcasecounter@pmg][][\cref@result]##1}}{} \protected@edef\@currentlabel{##1}%
+ }
+ \begin{pfcasesnonum}
+ }
+ {\end{pfcasesnonum}}
+
+ \newenvironment{pfcases}{
+ \ProvideDocumentCommand{\case}{o}{
+ \IfNoValueTF{##1}{
+ \def\thiscase{}%
+ }{
+ \def\thiscase{~##1}%
+ }
+ \item \ltx@ifpackageloaded{cleveref}{%
+ \cref@constructprefix{\pfcasecounter@pmg}{\cref@result}
+ \protected@xdef\cref@currentlabel{[\pfcasecounter@pmg][][\cref@result] \csname the\pfcasecounter@pmg \endcsname}}{}%
+ }
+ \begin{pfcasesnumbered}}{\end{pfcasesnumbered}}
+ \fi
+}
+
+\AtEndOfPackage{
+\ifrecthy@nosubfun
+ \@packinfo{Not loading subfun defs.}
+\else
+ \@packinfo{Loading subfun defs.}
+ %DOCUMENT ME
+ \NewDocumentCommand{\subfun}{o}{\prec\IfNoValueTF{#1}{}{_{#1}}}
+ \NewDocumentCommand{\supfun}{o}{\succ\IfNoValueTF{#1}{}{_{#1}}}
+ \NewDocumentCommand{\nsubfun}{o}{\nprec\IfNoValueTF{#1}{}{_{#1}}}
+ \NewDocumentCommand{\nsupfun}{o}{\nsucc\IfNoValueTF{#1}{}{_{#1}}}
+ \NewDocumentCommand{\subfuneq}{o}{\preceq\IfNoValueTF{#1}{}{_{#1}}}
+ \NewDocumentCommand{\supfuneq}{o}{\succeq\IfNoValueTF{#1}{}{_{#1}}}
+ \NewDocumentCommand{\nsubfuneq}{o}{\npreceq\IfNoValueTF{#1}{}{_{#1}}}
+ \NewDocumentCommand{\nsupfuneq}{o}{\nsucceq\IfNoValueTF{#1}{}{_{#1}}}
+ \NewDocumentCommand{\subfunneq}{o}{\precneq\IfNoValueTF{#1}{}{_{#1}}}
+ \NewDocumentCommand{\supfunneq}{o}{\succneq\IfNoValueTF{#1}{}{_{#1}}}
+\fi
+}
+
+
+
+\let\@recthy@reqscr\mathscr
+\DeclareOptionX{reqscr}[mathscr]{\letcs{\@recthy@reqscr}{#1}}
+
+
+\AtEndOfPackage{
+\ifrecthy@noreqhelper
+ \@packinfo{Not loading requirement assist.}
+\else
+ \@packinfo{Loading requirement assist.}
+ \newcommand*{\req@orig}[3][]{\ensuremath{\ifthenelse{\isempty{#1}}{\@recthy@reqscr{#2}_{#3}}{\@recthy@reqscr{#2}^{#1}_{#3}}}}
+
+ \NewDocumentCommand{\req@href}{O{}mO{}m}{\@ifundefined{hyperref}{\req@orig[#1#3]{#2}{#4}}{\hyperref[\detokenize{req:#2@#1#3}]{\req@orig[#1#3]{#2}{#4}}}}
+ \NewDocumentCommand{\req@nohref}{O{}mO{}m}{\req@orig[#1#3]{#2}{#4}}
+ \ifrecthy@hyperreqs
+ \let\req=\req@href
+ \else
+ \let\req=\req@nohref
+ \fi
+ \WithSuffix\def\req*{\req@nohref}
+ % \newsavebox{\@recthy@reqbox}
+ % \def\defreq#1#2\par{
+ % \begin{equation}\let\veqno\@@leqno%
+ % \tag*{#1}%
+ % \begin{lrbox}{\@recthy@reqbox}%
+ % \begin{minipage}{\textwidth}#2\end{minipage}%
+ % \end{lrbox}%
+ % \makebox[0pt]{\usebox{\@recthy@reqbox}}%
+ % \end{equation}}
+ \newtagform{colon}{}{:}
+ \newenvironment{requirement}[1]{
+ \let\@origif@fleqn@pmg=\if@fleqn
+ \let\@origiftagsleft@pmg=\iftagsleft@
+ \@fleqntrue
+ \setlength\@mathmargin{1.5cm}
+ \tagsleft@true
+ \usetagform{colon}
+ % \let\maketag@@@orig@pmg=\maketag@@@
+ % \def\maketag@@@#1{\hbox{\m@th\normalfont#1:}}
+ \begin{equation}\tag{#1}
+ }{
+ \end{equation}
+ \let\if@fleqn=\@origif@fleqn@pmg
+ \let\iftagsleft@=\@origiftagsleft@pmg
+ \usetagform{default}
+ % \let\maketag@@@=\maketag@@@orig@pmg
+ }
+
+ \NewDocumentEnvironment{require}{O{}mO{}m}{
+ \begin{requirement}{\req@nohref[#1#3]{#2}{#4}} \label{\detokenize{req:#2@#1#3}}%
+ }{
+ \end{requirement}%
+ }
+ % \NewDocumentEnvironment{require*}{O{}mO{}m}{
+ % \begin{requirement}{\req@nohref[#1#3]{#2}{#4}}%
+ % }{
+ % \end{requirement}%
+ % }
+ \NewDocumentCommand{\refreq}{O{}mO{}}{\ref{\detokenize{req:#2@#1#3}}}
+
+ \NewDocumentCommand{\require@nested}{sO{}mO{}m}{
+ \IfBooleanTF{#1}{\tag{\req@nohref[#2#4]{#3}{#5}}}{\tag{\req@nohref[#2#4]{#3}{#5}}\label{\detokenize{req:#3@#2#4}}}
+ }
+ % \newcommand*{\require@nested}{\require@nested@href}
+ % \WithSuffix\def\require@nested*{\require@nested@nohref}
+ % \NewDocumentEnvironment{require*}{O{}mO{}m}{
+ % \tag{\req@nohref[#1#3]{#2}{#4}}%
+ % }{}
+
+
+ \NewDocumentEnvironment{requirements}{}{
+ \let\@origif@fleqn@pmg=\if@fleqn
+ \let\@origiftagsleft@pmg=\iftagsleft@
+ \@fleqntrue
+ \setlength\@mathmargin{1.5cm}
+ \tagsleft@true
+ \usetagform{colon}
+ \let\require=\require@nested
+ % \let\maketag@@@orig@pmg=\maketag@@@
+ % \def\maketag@@@#1{\hbox{\m@th\normalfont#1:}}
+ \gather
+ }{
+ \endgather
+ \let\if@fleqn=\@origif@fleqn@pmg
+ \let\iftagsleft@=\@origiftagsleft@pmg
+ \usetagform{default}
+ % \let\maketag@@@=\maketag@@@orig@pmg
+ }
+
+\fi
+}
+
+
+
+\AtEndOfPackage{
+\ifrecthy@nostructresets
+ \@packinfo{Not loading r.e. set structs w/ containment.}
+\else
+ \@packinfo{Loading r.e. set structs w/ containment.}
+\let\@orig@setminus=\setminus
+\newcommand*{\promptdif}{\@orig@setminus_{\downarrow}}
+\let\setbefore=\promptdif
+\let\promptminus=\promptdif
+\let\promptsetminus=\promptdif
+
+\newcommand*{\StrcE}{\ensuremath{\mathscr{E}}}
+\WithSuffix\def\StrcE*{\ensuremath{\mathscr{E}^{*}}}
+\let\strucE\StrcE
+\newcommand*{\StrcL}[1]{\mathscr{L}(#1)}
+\newcommand*{\StrcStarL}[1]{\mathscr{L}^{*}(#1)}
+\WithSuffix\def\StrcL*{\StrcStarL}
+\newcommand*{\splitof}{\sqsubset}
+\newcommand*{\splitby}{\sqsupset}
+\newcommand*{\StrcR}{\ensuremath{\mathcal{R}}}
+\newcommand*{\StrcD}{\ensuremath{\mathcal{D}}}
+
+
+\fi
+}
+
+\AtEndOfPackage{
+\ifrecthy@nohyphenation
+ \@packinfo{No hyphenation loading.}
+\else
+\hyphenation{ra-tion-als ra-tion-al Harrington Slaman Cholak Knight Gerdes Lange}
+\fi
+}
+
+
+\AtEndOfPackage{
+\ifrecthy@mrref
+ \@packinfo{MRref helper loading}
+ \RequirePackage{hyperref}
+ \def\recthy@checkMR MR#1#2#3 #4\relax%
+ {\ifx#1M%
+ \ifx#2R\recthy@MR{#3}\else\recthy@MR{#1#2#3}\fi
+ \else
+ \recthy@MR{#1#2#3}%
+ \fi}
+ \def\MR#1{\recthy@checkMR MR#1 \relax}
+ \newcommand{\recthy@MR}[1]{\recthy@MRhref{#1}{MR #1}}
+ % % \MRhref is called by the amsart/book/proc definition of \MR.
+ \newcommand{\recthy@MRhref}[2]{\href{http://www.ams.org/mathscinet-getitem?mr=#1}{#2}}
+\else
+ \@packinfo{MRref helper not loading}
+\fi
+}
+
+\newcommand*{\@recthy@abs}[1]{\lvert#1\rvert}
+\newcommand*{\@recthy@ensuretext}[1]{\ensuremath{\text{#1}}}
+\AtEndOfPackage{
+\ifrecthy@nomath
+ \@packinfo{No math loading.}
+\else
+ \@packinfo{math loading.}
+ \providecommand*{\eqdef}{\stackrel{\text{\tiny def}}{=}} %\newcommand*{\eqdef}{\ensuremath{=\limits_{\text{\tiny def}}}}
+ \providecommand*{\iffdef}{\stackrel{\text{\tiny def}}{\iff}}
+ \ifdefined\aut
+ \else
+ \DeclareMathOperator{\aut}{Aut}
+ \fi
+ \ifdefined\Ord
+ \else
+ \DeclareMathOperator{\Ord}{Ord}
+ \fi
+
+
+ \recthy@strip{abs}
+ \ifdefined\dom
+ \else
+ \DeclareMathOperator{\dom}{dom}
+ \fi
+ \ifdefined\rng
+ \else
+ \DeclareMathOperator{\rng}{rng}
+ \fi
+ \providecommand*{\restr}[1]{\mathpunct{\restriction_{#1}}}
+ \providecommand*{\ordpair}[2]{\left( #1, #2 \right) }
+ %%%%%%%%Function commands
+ \providecommand*{\map}[2]{:#1\mapsto #2}
+ \providecommand*{\functo}[3]{#1\map{#2}{#3}}
+ \providecommand*{\compfunc}{\mathbin{\circ}}
+ \ifdefined\compose
+ \else
+ \let\compose=\compfunc
+ \fi
+ \ifdefined\funcomp
+ \else
+ \let\funcomp=\compfunc
+ \fi
+ \recthy@strip{ensuretext}
+\fi
+}
+
+
+\AtEndOfPackage{
+\ifrecthy@nooperators
+ \@packinfo{No operators loading.}
+\else
+ \@packinfo{Operators loading.}
+ \providecommand*{\meet}{\mathbin{\wedge}}
+ \providecommand*{\join}{\mathbin{\vee}}
+ \providecommand*{\Meet}{\mathop{\bigwedge}}
+ \let\MnJoin=\Join
+ \renewcommand*{\Join}{\mathop{\bigvee}}
+ \ifdefined\xor
+ \else
+ \DeclareMathOperator{\xor}{xor}
+ \fi
+\fi
+}
+
+\newcommand*{\@recthy@llangle}{\mathopen{\langle\!\langle}}
+\newcommand*{\@recthy@rrangle}{\mathclose{\rangle\!\rangle}}
+
+
+
+\AtEndOfPackage{
+\ifrecthy@nodelim
+ \@packinfo{No delimiters loading.}
+\else
+ \ltx@ifpackageloaded{MnSymbol}{}{
+ \DeclareFontFamily{OMX}{MnSymbolE}{}
+ \DeclareSymbolFont{MnLargeSymbols}{OMX}{MnSymbolE}{m}{n}
+ \SetSymbolFont{MnLargeSymbols}{bold}{OMX}{MnSymbolE}{b}{n}
+ \DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
+ <-6> MnSymbolE5
+ <6-7> MnSymbolE6
+ <7-8> MnSymbolE7
+ <8-9> MnSymbolE8
+ <9-10> MnSymbolE9
+ <10-12> MnSymbolE10
+ <12-> MnSymbolE12
+ }{}
+ \DeclareFontShape{OMX}{MnSymbolE}{b}{n}{
+ <-6> MnSymbolE-Bold5
+ <6-7> MnSymbolE-Bold6
+ <7-8> MnSymbolE-Bold7
+ <8-9> MnSymbolE-Bold8
+ <9-10> MnSymbolE-Bold9
+ <10-12> MnSymbolE-Bold10
+ <12-> MnSymbolE-Bold12
+ }{}
+ \DeclareMathDelimiter{\ulcorner}
+ {\mathopen}{MnLargeSymbols}{'036}{MnLargeSymbols}{'036}
+ \DeclareMathDelimiter{\urcorner}
+ {\mathclose}{MnLargeSymbols}{'043}{MnLargeSymbols}{'043}
+}
+ \newcommand*{\godelnum}[1]{\left\ulcorner #1 \right\urcorner}
+ \let\cornerquote=\godelnum
+ \let\gcode=\godelnum
+ \recthy@strip{llangle}
+ \recthy@strip{rrangle}
+\fi
+}
+
+\newcommand*{\@recthy@re}{\@recthy@ensuretext{r.e.\ }}
+\newcommand*{\@recthy@ce}{\@recthy@ensuretext{c.e.\ }}
+\newcommand*{\@recthy@RE}{\@recthy@ensuretext{R.E.\ }}
+\newcommand*{\@recthy@CE}{\@recthy@ensuretext{C.E.\ }}
+\newcommand*{\@recthy@Re}{\@recthy@ensuretext{R.e.\ }}
+\newcommand*{\@recthy@Ce}{\@recthy@ensuretext{C.e.\ }}
+\newcommand*{\@recthy@recursive}{\@recthy@ensuretext{recursive}}
+\newcommand*{\@recthy@computable}{\@recthy@ensuretext{computable}}
+\newcommand*{\@recthy@recursivelyEnumerable}{\@recthy@ensuretext{recursively enumerable}}
+\newcommand*{\@recthy@computablyEnumerable}{\@recthy@ensuretext{computably enumerable}}
+\newcommand*{\@recthy@Recursive}{\@recthy@ensuretext{Recursive}}
+\newcommand*{\@recthy@Computable}{\@recthy@ensuretext{Computable}}
+\newcommand*{\@recthy@RecursivelyEnumerable}{\@recthy@ensuretext{Recursively enumerable}}
+\newcommand*{\@recthy@ComputablyEnumerable}{\@recthy@ensuretext{Computably enumerable}}
+\newcommand*{\@recthy@REA}{\ensuremath{\text{REA}}}
+\WithSuffix\def\@recthy@REA[#1]{#1-\@recthy@REA\relax}
+\newcommand*{\@recthy@CEA}{\ensuremath{\text{CEA}}}
+\WithSuffix\def\@recthy@CEA[#1]{#1-\@recthy@CEA\relax}
+
+\DeclareOptionX{reterms}{%
+ \let\@recthy@ce=\@recthy@re
+ \let\@recthy@computable=\@recthy@recursive
+ \let\@recthy@computablyEnumerable=\@recthy@recursivelyEnumerable
+ \let\@recthy@ComputablyEnumerable=\@recthy@RecursivelyEnumerable
+ } %Make all references to ce change to re
+
+ \DeclareOptionX{reaterms}{%
+ \let\@recthy@CEA=\@recthy@REA
+ }
+
+\DeclareOptionX{ceterms}{%
+ \let\@recthy@re=\@recthy@ce
+ \let\@recthy@recursive=\@recthy@computable
+ \let\@recthy@recursivelyEnumerable=\@recthy@computablyEnumerable
+ \let\@recthy@RecursivelyEnumerable=\@recthy@ComputablyEnumerable
+ } %Make all references to re change to ce
+
+\DeclareOptionX{ceaterms}{%
+ \let\@recthy@REA=\@recthy@CEA
+ }
+\DeclareOptionX{reaterms}{%
+ \let\@recthy@CEA=\@recthy@REA
+ }
+
+
+
+\AtEndOfPackage{
+\ifrecthy@nonames
+ \@packinfo{No names loading.}
+\else
+ \@packinfo{Names loading.}
+ \recthy@strip{re}
+ \recthy@strip{ce}
+ \recthy@strip{RE}
+ \recthy@strip{CE}
+ \recthy@strip{Re}
+ \recthy@strip{Ce}
+ \recthy@strip{REA}
+ \recthy@strip{CEA}
+ \recthy@strip{recursive}
+ \recthy@strip{computable}
+ \recthy@strip{recursivelyEnumerable}
+ \recthy@strip{computablyEnumerable}
+ \recthy@strip{Recursive}
+ \recthy@strip{Computable}
+ \recthy@strip{RecursivelyEnumerable}
+ \recthy@strip{ComputablyEnumerable}
+\fi
+}
+
+
+% Set stuff
+
+
+
+\NewDocumentCommand{\@recthy@set}{mg}{\left \{ #1 \IfNoValueTF{#2}{}{\middle | #2} \right \}}
+
+% \def\@recthy@set#1{\def\@set@argi@pmg{#1}\@ifnextchar\bgroup\@setst@pmg\@setplain@pmg}
+% \newcommand*{\@setst@pmg}[1]{\ifthenelse{\isempty{#1}}{\@setplain@pmg}{\left \{ \@set@argi@pmg \middle | #1\right \}}}
+% \newcommand*{\@setplain@pmg}{\left \{ \@set@argi@pmg \right \}}
+% \newcommand*{\@recthy@set}[2]{\ifthenelse{\isempty{#2}}{\left \{ #1 \right \}}{\left \{ #1 \middle | #2\right \}} }
+% \DeclareOptionX{setminussym}[@recthy@defaultsetminusSYM]{\edef\@recthy@setminusSYM{\expandafter\noexpand\csname #1 \endcsname}}
+
+
+\newcommand*{\@recthy@card}[1]{\lvert#1\rvert}
+\newcommand*{\@recthy@union}{\mathbin{\cup}}
+\newcommand*{\@recthy@Union}{\mathop{\bigcup}}
+\newcommand*{\@recthy@isect}{\mathbin{\cap}}
+\newcommand*{\@recthy@Isect}{\mathop{\bigcap}}
+\newcommand*{\@recthy@nin}{\notin}
+\newcommand*{\@recthy@powset}[1]{\mathcal{P}\left(#1\right)}
+\newcommand*{\@recthy@eset}{\emptyset}
+% \newcommand*{\@recthy@setcmpminusSYM}{\backsim}
+% \newcommand*{\@recthy@setminuscmp}[1]{\mathop{\@recthy@setcmpminusSYM} #1}
+\newcommand*{\@recthy@setovercmp}[1]{\overline{#1}}
+\let\@recthy@setcmp=\@recthy@setovercmp
+\def\@recthy@setdiffSYM{-}
+\newcommand*{\@recthy@setdiff}{\mathbin{\@recthy@setdiffSYM}}
+
+\DeclareOptionX{setdiffsym}{\edef\@recthy@setdiffSYM{\expandafter\noexpand\csname #1 \endcsname}}
+
+
+
+
+
+\AtEndOfPackage{
+\WithSuffix\def\@recthy@setcmp[#1]#2{#1\@recthy@setminus#2}
+\ifrecthy@nosets
+ \@packinfo{No set cmds loading.}
+\else
+ \@packinfo{Set cmds loading.}
+ \recthy@strip{set}
+ \recthy@strip{card}
+ \recthy@strip{union}
+ \recthy@strip{Union}
+ \recthy@strip{isect}
+ \recthy@strip{Isect}
+ \recthy@strip{powset}
+ \recthy@strip{eset}
+ \recthy@strip{nin}
+ \recthy@strip{setcmp}
+ % \recthy@strip{setovercmp}
+ % \recthy@strip{setminuscmp}
+ \recthy@strip{setdiff}
+ \let\crossOrig=\cross
+ \def\cross{}
+ \renewcommand*{\cross}{\mathbin{\times}}
+ \let\CrossOrig=\Cross
+ \def\Cross{}
+ \renewcommand*{\Cross}{\mathop{\Pi}}
+ \providecommand*{\symdiff}{\mathbin{\Delta}}
+ % \ifdefined\interior
+ % \else
+ % \DeclareMathOperator{\interior}{int}
+ % \fi
+ % \ifdefined\closure
+ % \else
+ % \DeclareMathOperator{\clos}{cl}
+ % \fi
+\fi
+}
+
+\AtEndOfPackage{
+\ifrecthy@noquants
+ \@packinfo{No quants loading.}
+\else
+ \@packinfo{Quants loading.}
+ \AtBeginDocument{
+ \let\exists@orig@recthy=\exists
+ \let\forall@orig@recthy=\forall
+ \newcommand*{\exists@recthy}{\exists@orig@recthy}
+ \newcommand*{\forall@recthy}{\forall@orig@recthy}
+ \let\nexists@orig@recthy=\nexists
+ \newcommand*{\nexists@recthy}{\nexists@orig@recthy}
+ \let\nforall@orig@recthy=\nforall
+ \newcommand*{\nforall@recthy}{\nforall@orig@recthy}
+ \newcommand*{\existsuniq}{\exists@orig@recthy !}
+ \newcommand*{\nexistsuniq}{\nexists@orig@recthy !}
+ \WithSuffix\def\existsuniq(#1){\left(\existsuniq #1 \right)\!}
+ \WithSuffix\def\nexistsuniq(#1){\left(\nexistsuniq #1 \right)\!}
+ \WithSuffix\def\existsuniq[#1]{\left[\existsuniq #1 \right]\!}
+ \WithSuffix\def\nexistsuniq[#1]{\left[\nexistsuniq #1 \right]\!}
+
+ \newcommand*{\forallae}{\forall@orig@recthy^{*}}
+ \WithSuffix\def\forallae(#1){\left(\forallae #1\right)\!}
+ \WithSuffix\def\forallae[#1]{\left[\forallae #1\right]\!}
+
+ \newcommand*{\nforallae}{\nforall@orig@recthy^{*}}
+ \WithSuffix\def\nforallae(#1){\left(\nforallae #1\right)\!}
+ \WithSuffix\def\nforallae[#1]{\left[\nforallae #1\right]\!}
+
+ \providecommand*{\existsinf}{\exists@orig@recthy^{\infty}}
+ \WithSuffix\def\existsinf(#1){\left(\existsinf #1\right)\!}
+ \WithSuffix\def\existsinf[#1]{\left[\existsinf #1\right]\!}
+
+ \providecommand*{\nexistsinf}{\nexists^{\infty}}
+ \WithSuffix\def\nexistsinf(#1){\left(\nexistsinf #1\right)\!}
+ \WithSuffix\def\nexistsinf[#1]{\left[\nexistsinf #1\right]\!}
+
+ \WithSuffix\def\exists@recthy(#1){\left(\exists #1 \right)\!}
+ \WithSuffix\def\forall@recthy(#1){\left(\forall #1 \right)\!}
+ \WithSuffix\def\nexists@recthy(#1){\left(\nexists #1 \right)\!}
+ \WithSuffix\def\exists@recthy[#1]{\left[\exists #1 \right]\!}
+ \WithSuffix\def\forall@recthy[#1]{\left[\forall #1 \right]\!}
+ \WithSuffix\def\nexists@recthy[#1]{\left[\nexists #1 \right]\!}
+ \WithSuffix\def\forall@recthy*{\forallae}
+ \WithSuffix\def\nforall@recthy*{\nforallae}
+ \WithSuffix\def\exists@recthy*{\existsinf}
+ \WithSuffix\def\nexists@recthy*{\nexistsinf}
+ \WithSuffix\def\exists@recthy!{\existsuniq}
+ \let\exists=\exists@recthy
+ \let\forall=\forall@recthy
+ \let\nexists=\nexists@recthy
+ \let\nforall=\nforall@recthy
+ }
+
+
+
+ \providecommand*{\True}{\top}
+ \providecommand*{\False}{\bot}
+
+ \providecommand*{\Land}{\mathop{\bigwedge}}
+ \providecommand*{\Lor}{\mathop{\bigvee}}
+ \providecommand*{\LLand}{\mathop{\bigwedge\mkern-15mu\bigwedge}}
+ \providecommand*{\LLor}{\mathop{\bigvee\mkern-15mu\bigvee}}
+
+ \providecommand*{\liff}{\ensuremath{\leftrightarrow}}
+ \providecommand*{\limplies}{\ensuremath{\rightarrow}}
+
+\fi
+}
+
+
+
+
+\AtEndOfPackage{
+\ifrecthy@nospaces
+ \@packinfo{No spaces loading.}
+\else
+ \@packinfo{Spaces loading.}
+
+ \providecommand*{\bstrs}{2^{<\omega}}
+ \providecommand*{\wstrs}{\omega^{<\omega}}
+
+ \providecommand*{\cantor}{2^{\omega}}
+ % \WithSuffix\def\cantor*{\left(2\union \diverge \right)^{\omega}}
+ \providecommand*{\baire}{\omega^{\omega}}
+ % \WithSuffix\def\baire*{\left(\omega \union \diverge \right)^{\omega}}
+ \providecommand*{\Baire}{\mathcal{N}}
+\fi
+}
+
+
+%Strings
+\def\@recthy@concatSYM@Default{\widehat{\phantom{X}}}
+\def\@recthy@EmptyStr@Default{\mathopen{\langle}\mathclose{\rangle}}
+\let\@recthy@concatSYM\@recthy@concatSYM@Default
+\let\@recthy@EmptyStr\@recthy@EmptyStr@Default
+
+\DeclareOptionX{emptystr}[@recthy@EmptyStr@Default]{\letcs{\@recthy@EmptyStr}{#1}}
+\DeclareOptionX{concatsym}[@recthy@concatSYM@Default]{\letcs{\@recthy@concatSYM}{#1}}
+\newcommand*{\@recthy@pair}[2]{\mathopen{\@recthy@llangle} #1, #2 \mathclose{\@recthy@rrangle}}
+
+\NewDocumentCommand{\incompat@recthy}{o}{\mathrel{\mid}\IfValueTF{#1}{_{#1}}{}}
+\NewDocumentCommand{\compat@recthy}{o}{\mathrel{\not\mid}\IfValueTF{#1}{_{#1}}{}}
+
+\AtEndOfPackage{
+\ifrecthy@nostrings
+ \@packinfo{No strings loading.}
+\else
+ \@packinfo{Strings loading.}
+ \newcommand*{\closedn}[1]{{#1}^\blacktriangledown}
+ \newcommand*{\str}[1]{\mathopen{\langle}#1\mathclose{\rangle}}
+ \newcommand*{\code}[1]{\mathopen{\@recthy@llangle}#1\mathclose{\@recthy@rrangle}}
+ \newcommand*{\EmptyStr}{\@recthy@EmptyStr}
+ \newcommand*{\estr}{\EmptyStr}
+ \newcommand*{\decode}[2]{(#1)_{#2}}
+ \let\godelpair=\@recthy@pair
+ \let\gpair=\@recthy@pair
+ \newcommand*{\concat}{\@recthy@concatSYM}
+ \WithSuffix\def\concat[#1]{\concat\str{#1}}
+ \newcommand*{\strpred}[1]{{#1}^{-}}
+ \providecommand*{\lh}[2][]{\@recthy@abs{#2}_{#1}} %% Gives length of a string
+
+ \providecommand*{\incompat}{\incompat@recthy} %incompatible stringes FIX SPACING
+ \providecommand*{\incomp}{\incompat@recthy}
+ \providecommand*{\compat}{\compat@recthy}
+ \providecommand*{\nincompat}{\compat@recthy}
+ \providecommand*{\nincomp}{\compat@recthy}
+ \newcommand*{\setcol}[2]{{#1}^{[#2]}}
+ \ifrecthy@nopair
+ \@packinfo{No redefining pair.}
+ \else
+ \@packinfo{pair=godelpair.}
+ \let\pair=\@recthy@pair
+ \fi
+\fi
+}
+
+\AtEndOfPackage{
+\ifrecthy@notrees
+ \@packinfo{No trees loading.}
+\else
+ \@packinfo{Trees loading.}
+ \newcommand*{\CBderiv}[2][1]{#2^{\langle#1\rangle}}
+ \newcommand*{\pruneTree}[1]{\CBderiv[\infty]{#1}}
+ \newcommand*{\hgt}[1]{\lVert #1 \rVert}
+\fi
+}
+
+
+
+
+
+% Tree arguments
+
+% \newcommand*{\truepath}[2][]{\Gamma_{#1}\ifthenelse{\isempty{#2}}{}{(#2)}}
+% \newcommand*{\Tpath}{\truepath}
+
+
+
+
+%re set relations
+\AtEndOfPackage{
+\ifrecthy@nosetrels
+ \@packinfo{No setrels loading.}
+\else
+ \@packinfo{setrels loading.}
+ \AtBeginDocument{
+ \providecommand*{\nsupset}{\not\supset@recthy@orig}
+ \providecommand*{\nsubset}{\not\subset@recthy@orig}
+ \let\nsubset@recthy@orig=\nsubset
+ \let\nsupset@recthy@orig=\nsupset
+ \let\subset@recthy@orig=\subset
+ \let\supset@recthy@orig=\supset
+ \let\subseteq@recthy@orig=\subseteq
+ \let\supseteq@recthy@orig=\supseteq
+ \let\subsetneq@recthy@orig=\subsetneq
+ \let\supsetneq@recthy@orig=\supsetneq
+ \newcommand*{\subset@recthy}{\subset@recthy@orig}
+ \newcommand*{\supset@recthy}{\supset@recthy@orig}
+ \newcommand*{\subseteq@recthy}{\subseteq@recthy@orig}
+ \newcommand*{\supseteq@recthy}{\supseteq@recthy@orig}
+ \newcommand*{\nsubset@recthy}{\nsubset@recthy@orig}
+ \newcommand*{\nsupset@recthy}{\nsupset@recthy@orig}
+ \newcommand*{\nsubseteq@recthy}{\nsubseteq@recthy@orig}
+ \newcommand*{\nsupseteq@recthy}{\nsupseteq@recthy@orig}
+ \WithSuffix\def\subset@recthy*{\subset@recthy@orig^{*}}
+ \WithSuffix\def\supset@recthy*{\supset@recthy@orig^{*}}
+ \WithSuffix\def\subseteq@recthy*{\subseteq@recthy@orig^{*}}
+ \WithSuffix\def\supseteq@recthy*{\supseteq@recthy@orig^{*}}
+ \WithSuffix\def\subsetneq@recthy*{\subsetneq@recthy@orig^{*}}
+ \WithSuffix\def\supsetneq@recthy*{\supsetneq@recthy@orig^{*}}
+ \WithSuffix\def\nsubset@recthy*{\nsubset^{*}}
+ \WithSuffix\def\nsupset@recthy*{\nsupset^{*}}
+ \WithSuffix\def\nsubseteq@recthy*{\nsubseteq^{*}}
+ \WithSuffix\def\nsupseteq@recthy*{\nsupseteq^{*}}
+ \let\subset=\subset@recthy
+ \let\supset=\supset@recthy
+ \let\subseteq=\subseteq@recthy
+ \let\supseteq=\supseteq@recthy
+ \let\subsetneq=\subsetneq@recthy
+ \let\supsetneq=\supsetneq@recthy
+ \let\nsubset=\nsubset@recthy
+ \let\nsupset=\nsupset@recthy
+ \let\nsubseteq=\nsubseteq@recthy
+ \let\nsupseteq=\nsupseteq@recthy
+
+
+ \newcommand*{\eq}{=}
+ \WithSuffix\def\eq*{=^{*}}
+ \newcommand*{\eqae}{=^{*}}
+ \newcommand*{\neqae}{\neq^{*}}
+ \WithSuffix\def\neq*{\neq^{*}}
+
+ \newcommand*{\infsubset}{\subset_{\infty}}
+ \WithSuffix\def\infsubset*{\infsubset^{*}}
+ \let\subsetnaeq=\infsubset
+ \newcommand*{\infsupset}{\supset_{\infty}}
+ \WithSuffix\def\infsupset*{\infsupset^{*}}
+ \let\supsetnaeq=\infsupset
+ \newcommand*{\majsubset}{\subset_{m}}
+ \newcommand*{\majsupset}{\supset_{m}}
+ }
+\fi
+}
+
+
+
+
+
+
+
+
+
+
+
+%%% ORdinal notations
+% constructive/recursive ordinals
+
+\AtEndOfPackage{
+\ifrecthy@noordinalnotations
+ \@packinfo{No ordinal notations loading.}
+\else
+ \@packinfo{ordinal notations loading.}
+
+\providecommand*{\wck}{\ensuremath{\omega^{ck}_1}}
+ % \newcommand*{\ordtype}[1]{\ensuremath{\@recthy@abs{#1}_{\kleeneO}}}
+ \newcommand*{\ordzero}{\ensuremath{0}}
+ \def\kleeneOSYM{\mathcal{O}}
+ \newcommand*{\kleeneO}{\let\@PMG@parenarg\@PMG@undefined\let\@PMG@braketarg\@PMG@undefined\@kleeneObody}
+ \newcommand*{\@kleeneObody}{\kleeneOSYM\ifdefined\@PMG@parenarg
+ ^{\@PMG@parenarg}%
+ \fi%
+ \ifdefined\@PMG@braketarg
+ _{\abs{\@PMG@braketarg}}%
+ \fi}
+ \WithSuffix\def\@kleeneObody(#1){\def\@PMG@parenarg{#1}\@kleeneObody}
+ \WithSuffix\def\@kleeneObody[#1]{\def\@PMG@braketarg{#1}\@kleeneObody}
+ \WithSuffix\def\@kleeneObody*{\def\kleeneOSYM{\overline{\mathcal{O}}}\@kleeneObody}
+
+\newcommand*{\kleeneObelow}[2][]{\kleeneOSYM_{<#2\ifthenelse{\isempty{#1}}{}{, #1}}}
+\let\kleeneOless\kleeneObelow
+
+ \newcommand*{\kleeneOuniq}{\kleeneO*}
+ \let\ordNotations=\kleeneO
+ \let\uniqOrdNotations=\kleeneOuniq
+ \NewDocumentCommand{\kleeneless}{o}{<_{\kleeneO\IfNoValueTF{#1}{}{,#1}}}
+ \let\kleenel=\kleeneless
+ \NewDocumentCommand{\kleeneleq}{o}{\leq_{\kleeneO\IfNoValueTF{#1}{}{,#1}}}
+ \NewDocumentCommand{\kleenenless}{o}{\nless_{\kleeneO\IfNoValueTF{#1}{}{,#1}}}
+ \let\kleenenl=\kleenenless
+ \NewDocumentCommand{\kleenenleq}{o}{\nleq_{\kleeneO\IfNoValueTF{#1}{}{,#1}}}
+ \NewDocumentCommand{\kleenegtr}{o}{>_{\kleeneO\IfNoValueTF{#1}{}{,#1}}}
+ \let\kleeneg=\kleenegtr
+ \NewDocumentCommand{\kleenegeq}{o}{\geq_{\kleeneO\IfNoValueTF{#1}{}{,#1}}}
+ \NewDocumentCommand{\kleenengtr}{o}{\ngtr_{\kleeneO\IfNoValueTF{#1}{}{,#1}}}
+ \let\kleeneng=\kleenengtr
+ \NewDocumentCommand{\kleenengeq}{o}{\ngeq_{\kleeneO\IfNoValueTF{#1}{}{,#1}}}
+ \newcommand*{\kleenePlus}{\mathbin{+_{\kleeneO}}}
+ \newcommand*{\kleeneMul}{\cdot_{\kleeneO}}
+ \newcommand*{\kleenehgt}[1]{\lVert #1\rVert_{\kleeneO}}
+ \let\hgtO=\kleenehgt
+ \newcommand*{\kleenelim}[2]{{#1}_{[#2]}}
+ \newcommand*{\kleenepred}[1]{{#1}^{-}}
+
+\fi
+}
+
+
+
+
+% \newcommand*{\axiom}{2}{#1}
+%alpha REA stuff
+% \newcommand*{\alphaREA}[1][\alpha]{\ensuremath{ #1 \text{-REA}} }
+
+
+\newcommand*{\@PMG@VdashStar}{{\Vdash\smash{\mkern-12mu\raise4\p@\hbox{\text{\tiny*}}}\mkern2mu}}
+
+% Forcing
+\AtEndOfPackage{
+\ifrecthy@noforcing
+ \@packinfo{No forcing loading.}
+\else
+ \@packinfo{forcing loading.}
+ \providecommand*{\forces}{\def\@PMG@frcparenarg{}\def\@PMG@frcbraketarg{}\def\@PMG@curfrcsym{\Vdash}\@forcesBody}
+ \newcommand*{\@forcesBody}{\mathrel{{\@PMG@curfrcsym}^{\@PMG@frcparenarg}_{\@PMG@frcbraketarg}}}
+ \WithSuffix\def\@forcesBody(#1){\def\@PMG@frcparenarg{#1}\@forcesBody}
+ \WithSuffix\def\@forcesBody[#1]{\def\@PMG@frcbraketarg{#1}\@forcesBody}
+ \WithSuffix\def\@forcesBody*{\let\@PMG@curfrcsym=\@PMG@VdashStar\@forcesBody}
+
+ % \long\def\forces@[#1][#2]{\Vdash^{#2}_{#1}}
+ % \newcommand{\forces}{\optparams{\forces@}{[][]}%
+ % }
+ \providecommand*{\frc}{\forces}
+\fi
+}
+
+
+%%%%%%%%% Formula Classes
+
+\newcommand*{\@recthy@CDelta@default}{\prescript{\mathcal{C}}{}{\Delta}}
+\newcommand*{\@recthy@CSigma@default}{\prescript{\mathcal{C}}{}{\Sigma}}
+\newcommand*{\@recthy@CPi@default}{\prescript{\mathcal{C}}{}{\Pi}}
+\let\@recthy@CDelta=\@recthy@CDelta@default
+\let\@recthy@CSigma=\@recthy@CSigma@default
+\let\@recthy@CPi=\@recthy@CPi@default
+
+\DeclareOptionX{cdeltasym}[@recthy@CDelta@default]{\letcs{\@recthy@CDelta}{#1}}
+\DeclareOptionX{csigmasym}[@recthy@CSigma@default]{\letcs{\@recthy@CSigma}{#1}}
+\DeclareOptionX{cpisym}[@recthy@CPi@default]{\letcs{\@recthy@CPi}{#1}}
+
+% \DeclareOptionX<\@recthy@family>{cdeltasym}[]{\def\@recthy@CDelta{#1}}
+% \DeclareOptionX<\@recthy@family>{csigmasym}[]{\def\@recthy@CSigma{#1}}
+% \DeclareOptionX<\@recthy@family>{cpisym}[]{\def\@recthy@CPi{#1}}
+
+\AtEndOfPackage{
+\ifrecthy@nosyntax
+ \@packinfo{No syntax loading.}
+\else
+ \@packinfo{syntax loading.}
+ \recthy@strip{CDelta}
+ \recthy@strip{CSigma}
+ \recthy@strip{CPi}
+ \newcommand*{\deltan}[1]{\Delta_{#1}}
+ \WithSuffix\def\deltan[#1]#2{\Delta^{#1}_{#2}}
+ % \WithSuffix\def\deltan(#1)#2{\deltan{#2}\!\left(#1\right)}
+ \newcommand*{\deltaZeroN}[1]{\Delta^{0}_{#1}}
+ \WithSuffix\def\deltaZeroN[#1]#2{\Delta^{0,#1}_{#2}}
+ % \WithSuffix\def\deltaZeroN(#1)#2{\deltaZeroN{#2}\!\left(#1\right)}
+ \newcommand*{\deltaZeroTwo}{\deltaZeroN{2}}
+ \WithSuffix\def\deltaZeroTwo[#1]{\deltaZeroN[#1]{2}}
+ % \WithSuffix\def\deltaZeroTwo(#1){\deltaZeroN[#1]{2}}
+ \newcommand*{\deltaZeroThree}{\deltaZeroN{3}}
+ \WithSuffix\def\deltaZeroThree[#1]{\deltaZeroN[#1]{3}}
+ % \WithSuffix\def\deltaZeroThree(#1){\deltaZeroN[#1]{3}}
+ \newcommand*{\deltaZeroOne}{\deltaZeroN{1}}
+ \WithSuffix\def\deltaZeroOne[#1]{\deltaZeroN[#1]{1}}
+ % \WithSuffix\def\deltaZeroOne(#1){\deltaZeroN[#1]{1}}
+ \newcommand*{\deltaZeroZero}{\deltaZeroN{0}}
+ \WithSuffix\def\deltaZeroZero[#1]{\deltaZeroN[#1]{0}}
+ % \WithSuffix\def\deltaZeroZero(#1){\deltaZeroN[#1]{0}}
+
+
+ \newcommand*{\deltaOneN}[1]{\deltan{#1}^1}
+ \WithSuffix\def\deltaOneN[#1]#2{\Delta^{1,#1}_{#2}}
+ % \WithSuffix\def\deltaOneN(#1)#2{\deltaOneN{#2}\!\left(#1\right)}
+ \newcommand*{\deltaOneOne}{\deltaOneN{1}}
+ \WithSuffix\def\deltaOneOne[#1]{\deltaOneN[#1]{1}}
+ % \WithSuffix\def\deltaOneOne(#1){\deltaOneN[#1]{1}}
+ \newcommand*{\deltaOneTwo}{\deltaOneN{2}}
+ \WithSuffix\def\deltaOneTwo[#1]{\deltaOneN[#1]{2}}
+ % \WithSuffix\def\deltaOneTwo(#1){\deltaOneN[#1]{2}}
+ \newcommand*{\deltaOneThree}{\deltaOneN{3}}
+ \WithSuffix\def\deltaOneThree[#1]{\deltaOneN[#1]{3}}
+ % \WithSuffix\def\deltaOneThree(#1){\deltaOneN[#1]{3}}
+
+
+
+ \newcommand*{\sigman}[1]{\Sigma_{#1}}
+ \WithSuffix\def\sigman[#1]#2{\Sigma^{#1}_{#2}}
+ % \WithSuffix\def\sigman(#1)#2{\sigman{#2}\!\left(#1\right)}
+ \newcommand*{\sigmaZeroN}[1]{\Sigma^{0}_{#1}}
+ \WithSuffix\def\sigmaZeroN[#1]#2{\Sigma^{0,#1}_{#2}}
+ % \WithSuffix\def\sigmaZeroN(#1)#2{\sigmaZeroN{#2}\!\left(#1\right)}
+ \newcommand*{\sigmaZeroOne}{\sigmaZeroN{1}}
+ \WithSuffix\def\sigmaZeroOne[#1]{\sigmaZeroN[#1]{1}}
+ % \WithSuffix\def\sigmaZeroOne(#1){\sigmaZeroN[#1]{1}}
+ \newcommand*{\sigmaZeroTwo}{\sigmaZeroN{2}}
+ \WithSuffix\def\sigmaZeroTwo[#1]{\sigmaZeroN[#1]{2}}
+ % \WithSuffix\def\sigmaZeroTwo(#1){\sigmaZeroN[#1]{2}}
+ \newcommand*{\sigmaZeroThree}{\sigmaZeroN{3}}
+ \WithSuffix\def\sigmaZeroThree[#1]{\sigmaZeroN[#1]{3}}
+ % \WithSuffix\def\sigmaZeroThree(#1){\sigmaZeroN[#1]{3}}
+
+
+
+ \newcommand*{\sigmaOneN}[1]{\Sigma^1_{#1}}
+ \WithSuffix\def\sigmaOneN[#1]#2{\Sigma^{1,#1}_{#2}}
+ % \WithSuffix\def\sigmaOneN(#1)#2{\sigmaOneN{#2}\!\left(#1\right)}
+ \newcommand*{\sigmaOneOne}{\sigmaOneN{1}}
+ \WithSuffix\def\sigmaOneOne[#1]{\sigmaOneN[#1]{1}}
+ % \WithSuffix\def\sigmaOneOne(#1){\sigmaOneN[#1]{1}}
+ \newcommand*{\sigmaOneTwo}{\sigmaOneN{2}}
+ \WithSuffix\def\sigmaOneTwo[#1]{\sigmaOneN[#1]{2}}
+ % \WithSuffix\def\sigmaOneTwo(#1){\sigmaOneN[#1]{2}}
+ \newcommand*{\sigmaOneThree}{\sigmaOneN{3}}
+ \WithSuffix\def\sigmaOneThree[#1]{\sigmaOneN[#1]{3}}
+ % \WithSuffix\def\sigmaOneThree(#1){\sigmaOneN[#1]{3}}
+
+
+
+ \newcommand*{\pin}[1]{\Pi_{#1}}
+ \WithSuffix\def\pin[#1]#2{\Pi^{#1}_{#2}}
+ % \WithSuffix\def\pin(#1)#2{\pin{#2}\!\left(#1\right)}
+ \newcommand*{\piZeroN}[1]{\Pi^0_{#1}}
+ \WithSuffix\def\piZeroN[#1]#2{\Pi^{0,#1}_{#2}}
+ % \WithSuffix\def\piZeroN(#1)#2{\piZeroN{#2}\left(#1\right)}
+ \newcommand*{\piZeroOne}{\piZeroN{1}}
+ \WithSuffix\def\piZeroOne[#1]{\piZeroN[#1]{1}}
+ % \WithSuffix\def\piZeroOne(#1){\piZeroN[#1]{1}}
+ \newcommand*{\piZeroTwo}{\piZeroN{2}}
+ \WithSuffix\def\piZeroTwo[#1]{\piZeroN[#1]{2}}
+ % \WithSuffix\def\piZeroTwo(#1){\piZeroN[#1]{2}}
+ \newcommand*{\piZeroThree}{\piZeroN{3}}
+ \WithSuffix\def\piZeroThree[#1]{\piZeroN[#1]{3}}
+ % \WithSuffix\def\piZeroThree(#1){\piZeroN[#1]{3}}
+
+ \newcommand*{\piOneN}[1]{\Pi^1_{#1}}
+ \WithSuffix\def\piOneN[#1]#2{\Pi^{1,#1}_{#2}}
+ % \WithSuffix\def\piOneN(#1)#2{\piOneN{#2}\!\left(#1\right)}
+ \newcommand*{\piOneOne}{\piOneN{1}}
+ \WithSuffix\def\piOneOne[#1]{\piOneN[#1]{1}}
+ % \WithSuffix\def\piOneOne(#1){\piOneN[#1]{1}}
+ \newcommand*{\piOneTwo}{\piOneN{2}}
+ \WithSuffix\def\piOneTwo[#1]{\piOneN[#1]{2}}
+ % \WithSuffix\def\piOneTwo(#1){\piOneN[#1]{2}}
+ \newcommand*{\piOneThree}{\piOneN{3}}
+ \WithSuffix\def\piOneThree[#1]{\piOneN[#1]{3}}
+ % \WithSuffix\def\piOneThree(#1){\piOneN[#1]{3}}
+
+
+
+ %%%ABREVIATIONS
+ \newcommand*{\deltaz}{\deltaN{0}}
+ \newcommand*{\deltazn}{\deltaZeroN}
+ \newcommand*{\deltazii}{\deltaZeroTwo}
+ \newcommand*{\deltazi}{\deltaZeroOne}
+ \newcommand*{\deltazz}{\deltaZeroZero}
+ \newcommand*{\deltaziii}{\deltaZeroThree}
+ \newcommand*{\deltaIn}{\deltaOneN}
+ \newcommand*{\deltaIi}{\deltaOneOne}
+ \newcommand*{\deltaoneone}{\deltaOneOne}
+ \newcommand*{\deltaIii}{\deltaOneTwo}
+ \newcommand*{\deltaIiii}{\deltaOneThree}
+ \newcommand*{\sigmazn}{\sigmaZeroN}
+ \newcommand*{\sigmazi}{\sigmaZeroOne}
+ \newcommand*{\sigmazii}{\sigmaZeroTwo}
+ \newcommand*{\sigmaziii}{\sigmaZeroThree}
+ \newcommand*{\sigmaIn}{\sigmaOneN}
+ \newcommand*{\sigmaIi}{\sigmaOneOne}
+ \newcommand*{\sigmaIii}{\sigmaOneTwo}
+ \newcommand*{\sigmaIiii}{\sigmaOneThree}
+ \newcommand*{\pizn}{\piZeroN}
+ \newcommand*{\pizi}{\piZeroOne}
+ \newcommand*{\pizii}{\piZeroTwo}
+ \newcommand*{\piziii}{\piZeroThree}
+ \newcommand*{\piIn}{\piOneN}
+ \newcommand*{\piIi}{\piOneOne}
+ \newcommand*{\piIii}{\piOneTwo}
+ \newcommand*{\piIiii}{\piOneThree}
+
+ %%%%%%%%%%%%%
+ % \newcommand*{\sigmapizn}[1]{\sigmazn{#1} \union \pizn{#1}}
+ % \WithSuffix\def\sigmapizn[#1]#2{\sigmazn[#1]{#2} \union \pizn[#1]{#2}}
+ % \WithSuffix\def\sigmapizn(#1)#2{\sigmazn[#1]{#2} \union \pizn[#1]{#2}}
+ % \let\pisigmazn=\sigmapizn
+ %%%%%%%%%%%%%%
+
+ %%%%%%%%
+ % Logics
+ %\newcommand*{\equiv}
+ \newcommand*{\logic}[2]{\mathcal{L}_{#1,#2}}
+ % \newcommand*{\logicwiw}{\logic{\omega_{1}}{\omega}}
+ % \newcommand*{\Clogic}[2]{\mathcal{CL}_{#1,#2}}
+ % \newcommand*{\FOlogic}{\logic{\omega}{\omega}}
+ % \NewDocumentCommand{\hyplogic}{o}{\Clogic{\omega_{1}}{\omega}\ifthenelse{\isempty{#1}}{}{\left(#1\right)} }
+
+
+
+ %May never use...specific notation for computable formulas...supplanted by \( \sigmazn{\alpha} \) notation.
+ %%%%%%%%%%%
+
+
+
+
+
+ \newcommand*{\Cdeltan}[1]{\CDelta_{#1}}
+ \WithSuffix\def\Cdeltan[#1]#2{\Cdeltan{#2}^{#1}}
+ \newcommand*{\Cpin}[1]{\CPi_{#1}}
+ \WithSuffix\def\Cpin[#1]#2{\Cpin{#2}^{#1}}
+ \newcommand*{\Csigman}[1]{\CSigma_{#1}}
+ \WithSuffix\def\Csigman[#1]#2{\CSigma_{#2}^{#1}}
+
+ \newcommand*{\CdeltaZeroN}[1]{\Cdeltan[0]{#1}}
+ \newcommand*{\CdeltaZeroTwo}{\CdeltaZeroN{2}}
+ \newcommand*{\CdeltaZeroThree}{\CdeltaZeroN{3}}
+ \newcommand*{\CdeltaZeroOne}{\CdeltaZeroN{1}}
+ \newcommand*{\CdeltaZeroZero}{\CdeltaZeroN{0}}
+ \newcommand*{\CdeltaOneN}[1]{\Cdeltan[1]{#1}}
+ \newcommand*{\CdeltaOneOne}{\CdeltaOneN{1}}
+ \newcommand*{\CdeltaOneTwo}{\CdeltaOneN{2}}
+ \newcommand*{\CdeltaOneThree}{\CdeltaOneN{3}}
+ \newcommand*{\CpiZeroN}[1]{\Cpin[0]{#1}}
+ \newcommand*{\CpiOneN}[1]{\Cpin[1]{#1}}
+ \newcommand*{\CpiOneOne}{\CpiOneN{1}}
+ \newcommand*{\CpiOneThree}{\CpiOneN{3}}
+ \newcommand*{\CpiOneTwo}{\CpiOneN{2}}
+ \newcommand*{\CpiZeroOne}{\CpiZeroN{1}}
+ \newcommand*{\CpiZeroThree}{\CpiZeroN{3}}
+ \newcommand*{\CpiZeroTwo}{\CpiZeroN{2}}
+ \newcommand*{\CsigmaOneN}[1]{\Csigman[1]{#1}}
+ \newcommand*{\CsigmaOneOne}{\CsigmaOneN{1}}
+ \newcommand*{\CsigmaOneThree}{\CsigmaOneN{3}}
+ \newcommand*{\CsigmaOneTwo}{\CsigmaOneN{2}}
+ \newcommand*{\CsigmaZeroN}[1]{\Csigman[0]{#1}}
+ \newcommand*{\CsigmaZeroOne}{\CsigmaZeroN{1}}
+ \newcommand*{\CsigmaZeroThree}{\CsigmaZeroN{3}}
+ \newcommand*{\CsigmaZeroTwo}{\CsigmaZeroN{2}}
+
+
+ \WithSuffix\def\CsigmaOneN[#1]#2{\Csigma[1,#1]{#2}}
+ \WithSuffix\def\CsigmaOneOne[#1]{\CsigmaOneN[#1]{1}}
+ \WithSuffix\def\CsigmaOneThree[#1]{\CsigmaOneN[#1]{3}}
+ \WithSuffix\def\CsigmaOneTwo[#1]{\CsigmaOneN[#1]{2}}
+ \WithSuffix\def\CsigmaZeroN[#1]#2{\Csigma[0,#1]{#2}}
+ \WithSuffix\def\CsigmaZeroOne[#1]{\CsigmaZeroN[#1]{1}}
+ \WithSuffix\def\CsigmaZeroThree[#1]{\CsigmaZeroN[#1]{3}}
+ \WithSuffix\def\CsigmaZeroTwo[#1]{\CsigmaZeroN[#1]{2}}
+ \WithSuffix\def\CpiOneN[#1]#2{\Cpi[1,#1]{#2}}
+ \WithSuffix\def\CpiOneOne[#1]{\CpiOneN[#1]{1}}
+ \WithSuffix\def\CpiOneThree[#1]{\CpiOneN[#1]{3}}
+ \WithSuffix\def\CpiOneTwo[#1]{\CpiOneN[#1]{2}}
+ \WithSuffix\def\CpiZeroN[#1]#2{\Cpi[0,#1]{#2}}
+ \WithSuffix\def\CpiZeroOne[#1]{\CpiZeroN[#1]{1}}
+ \WithSuffix\def\CpiZeroThree[#1]{\CpiZeroN[#1]{3}}
+ \WithSuffix\def\CpiZeroTwo[#1]{\CpiZeroN[#1]{2}}
+ \WithSuffix\def\CdeltaOneN[#1]#2{\Cdelta[1,#1]{#2}}
+ \WithSuffix\def\CdeltaOneOne[#1]{\CdeltaOneN[#1]{1}}
+ \WithSuffix\def\CdeltaOneTwo[#1]{\CdeltaOneN[#1]{2}}
+ \WithSuffix\def\CdeltaOneThree[#1]{\CdeltaOneN[#1]{3}}
+ \WithSuffix\def\CdeltaZeroZero[#1]{\CdeltaZeroN[#1]{0}}
+ \WithSuffix\def\CdeltaZeroN[#1]#2{\Cdelta[0,#1]{#2}}
+ \WithSuffix\def\CdeltaZeroTwo[#1]{\CdeltaZeroN[#1]{2}}
+ \WithSuffix\def\CdeltaZeroThree[#1]{\CdeltaZeroN[#1]{3}}
+ \WithSuffix\def\CdeltaZeroOne[#1]{\CdeltaZeroN[#1]{1}}
+
+
+ %%%ABREVIATIONS
+ \newcommand*{\Cdeltaz}{\CdeltaN{0}}
+ \newcommand*{\Cdeltazn}{\CdeltaZeroN}
+ \newcommand*{\Cdeltazii}{\CdeltaZeroTwo}
+ \newcommand*{\Cdeltazi}{\CdeltaZeroOne}
+ \newcommand*{\Cdeltazz}{\CdeltaZeroZero}
+ \newcommand*{\Cdeltaziii}{\CdeltaZeroThree}
+ \newcommand*{\CdeltaIn}{\CdeltaOneN}
+ \newcommand*{\CdeltaIi}{\CdeltaOneOne}
+ \newcommand*{\Cdeltaoneone}{\CdeltaOneOne}
+ \newcommand*{\CdeltaIii}{\CdeltaOneTwo}
+ \newcommand*{\CdeltaIiii}{\CdeltaOneThree}
+ \newcommand*{\Csigmazn}{\CsigmaZeroN}
+ \newcommand*{\Csigmazi}{\CsigmaZeroOne}
+ \newcommand*{\Csigmazii}{\CsigmaZeroTwo}
+ \newcommand*{\Csigmaziii}{\CsigmaZeroThree}
+ \newcommand*{\CsigmaIn}{\CsigmaOneN}
+ \newcommand*{\CsigmaIi}{\CsigmaOneOne}
+ \newcommand*{\CsigmaIii}{\CsigmaOneTwo}
+ \newcommand*{\CsigmaIiii}{\CsigmaOneThree}
+ \newcommand*{\Cpizn}{\CpiZeroN}
+ \newcommand*{\Cpizi}{\CpiZeroOne}
+ \newcommand*{\Cpizii}{\CpiZeroTwo}
+ \newcommand*{\Cpiziii}{\CpiZeroThree}
+ \newcommand*{\CpiIn}{\CpiOneN}
+ \newcommand*{\CpiIi}{\CpiOneOne}
+ \newcommand*{\CpiIii}{\CpiOneTwo}
+ \newcommand*{\CpiIiii}{\CpiOneThree}
+
+%%%BOLDFACE
+
+ \newcommand*{\Deltan}[1]{\utilde{\symbf{\Delta}}_{#1}}
+ \WithSuffix\def\Deltan[#1]#2{\utilde{\symbf{\Delta}}^{#1}_{#2}}
+ % \WithSuffix\def\Deltan(#1)#2{\deltan{#2}\!\left(#1\right)}
+ \newcommand*{\DeltaZeroN}[1]{\utilde{\symbf{\Delta}}^{0}_{#1}}
+ \WithSuffix\def\DeltaZeroN[#1]#2{\utilde{\symbf{\Delta}}^{0,#1}_{#2}}
+ % \WithSuffix\def\DeltaZeroN(#1)#2{\DeltaZeroN{#2}\!\left(#1\right)}
+ \newcommand*{\DeltaZeroTwo}{\DeltaZeroN{2}}
+ \WithSuffix\def\DeltaZeroTwo[#1]{\DeltaZeroN[#1]{2}}
+ % \WithSuffix\def\DeltaZeroTwo(#1){\DeltaZeroN[#1]{2}}
+ \newcommand*{\DeltaZeroThree}{\DeltaZeroN{3}}
+ \WithSuffix\def\DeltaZeroThree[#1]{\DeltaZeroN[#1]{3}}
+ % \WithSuffix\def\DeltaZeroThree(#1){\DeltaZeroN[#1]{3}}
+ \newcommand*{\DeltaZeroOne}{\DeltaZeroN{1}}
+ \WithSuffix\def\DeltaZeroOne[#1]{\DeltaZeroN[#1]{1}}
+ % \WithSuffix\def\DeltaZeroOne(#1){\DeltaZeroN[#1]{1}}
+ \newcommand*{\DeltaZeroZero}{\DeltaZeroN{0}}
+ \WithSuffix\def\DeltaZeroZero[#1]{\DeltaZeroN[#1]{0}}
+ % \WithSuffix\def\DeltaZeroZero(#1){\DeltaZeroN[#1]{0}}
+
+
+ \newcommand*{\DeltaOneN}[1]{\Deltan{#1}^1}
+ \WithSuffix\def\DeltaOneN[#1]#2{\utilde{\symbf{\Delta}}^{1,#1}_{#2}}
+ % \WithSuffix\def\DeltaOneN(#1)#2{\DeltaOneN{#2}\!\left(#1\right)}
+ \newcommand*{\DeltaOneOne}{\DeltaOneN{1}}
+ \WithSuffix\def\DeltaOneOne[#1]{\DeltaOneN[#1]{1}}
+ % \WithSuffix\def\DeltaOneOne(#1){\DeltaOneN[#1]{1}}
+ \newcommand*{\DeltaOneTwo}{\DeltaOneN{2}}
+ \WithSuffix\def\DeltaOneTwo[#1]{\DeltaOneN[#1]{2}}
+ % \WithSuffix\def\DeltaOneTwo(#1){\DeltaOneN[#1]{2}}
+ \newcommand*{\DeltaOneThree}{\DeltaOneN{3}}
+ \WithSuffix\def\DeltaOneThree[#1]{\DeltaOneN[#1]{3}}
+ % \WithSuffix\def\DeltaOneThree(#1){\DeltaOneN[#1]{3}}
+
+
+
+ \newcommand*{\Sigman}[1]{\utilde{\symbf{\Sigma}}_{#1}}
+ \WithSuffix\def\Sigman[#1]#2{\utilde{\symbf{\Sigma}}^{#1}_{#2}}
+ % \WithSuffix\def\Sigman(#1)#2{\sigman{#2}\!\left(#1\right)}
+ \newcommand*{\SigmaZeroN}[1]{\utilde{\symbf{\Sigma}}^{0}_{#1}}
+ \WithSuffix\def\SigmaZeroN[#1]#2{\utilde{\symbf{\Sigma}}^{0,#1}_{#2}}
+ % \WithSuffix\def\SigmaZeroN(#1)#2{\SigmaZeroN{#2}\!\left(#1\right)}
+ \newcommand*{\SigmaZeroOne}{\SigmaZeroN{1}}
+ \WithSuffix\def\SigmaZeroOne[#1]{\SigmaZeroN[#1]{1}}
+ % \WithSuffix\def\SigmaZeroOne(#1){\SigmaZeroN[#1]{1}}
+ \newcommand*{\SigmaZeroTwo}{\SigmaZeroN{2}}
+ \WithSuffix\def\SigmaZeroTwo[#1]{\SigmaZeroN[#1]{2}}
+ % \WithSuffix\def\SigmaZeroTwo(#1){\SigmaZeroN[#1]{2}}
+ \newcommand*{\SigmaZeroThree}{\SigmaZeroN{3}}
+ \WithSuffix\def\SigmaZeroThree[#1]{\SigmaZeroN[#1]{3}}
+ % \WithSuffix\def\SigmaZeroThree(#1){\SigmaZeroN[#1]{3}}
+
+
+
+ \newcommand*{\SigmaOneN}[1]{\utilde{\symbf{\Sigma}}^1_{#1}}
+ \WithSuffix\def\SigmaOneN[#1]#2{\utilde{\symbf{\Sigma}}^{1,#1}_{#2}}
+ % \WithSuffix\def\SigmaOneN(#1)#2{\SigmaOneN{#2}\!\left(#1\right)}
+ \newcommand*{\SigmaOneOne}{\SigmaOneN{1}}
+ \WithSuffix\def\SigmaOneOne[#1]{\SigmaOneN[#1]{1}}
+ % \WithSuffix\def\SigmaOneOne(#1){\SigmaOneN[#1]{1}}
+ \newcommand*{\SigmaOneTwo}{\SigmaOneN{2}}
+ \WithSuffix\def\SigmaOneTwo[#1]{\SigmaOneN[#1]{2}}
+ % \WithSuffix\def\SigmaOneTwo(#1){\SigmaOneN[#1]{2}}
+ \newcommand*{\SigmaOneThree}{\SigmaOneN{3}}
+ \WithSuffix\def\SigmaOneThree[#1]{\SigmaOneN[#1]{3}}
+ % \WithSuffix\def\SigmaOneThree(#1){\SigmaOneN[#1]{3}}
+
+
+
+ \newcommand*{\Pin}[1]{\utilde{\symbf{\Pi}}_{#1}}
+ \WithSuffix\def\Pin[#1]#2{\utilde{\symbf{\Pi}}^{#1}_{#2}}
+ % \WithSuffix\def\Pin(#1)#2{\pin{#2}\!\left(#1\right)}
+ \newcommand*{\PiZeroN}[1]{\utilde{\symbf{\Pi}}^0_{#1}}
+ \WithSuffix\def\PiZeroN[#1]#2{\utilde{\symbf{\Pi}}^{0,#1}_{#2}}
+ % \WithSuffix\def\PiZeroN(#1)#2{\PiZeroN{#2}\left(#1\right)}
+ \newcommand*{\PiZeroOne}{\PiZeroN{1}}
+ \WithSuffix\def\PiZeroOne[#1]{\PiZeroN[#1]{1}}
+ % \WithSuffix\def\PiZeroOne(#1){\PiZeroN[#1]{1}}
+ \newcommand*{\PiZeroTwo}{\PiZeroN{2}}
+ \WithSuffix\def\PiZeroTwo[#1]{\PiZeroN[#1]{2}}
+ % \WithSuffix\def\PiZeroTwo(#1){\PiZeroN[#1]{2}}
+ \newcommand*{\PiZeroThree}{\PiZeroN{3}}
+ \WithSuffix\def\PiZeroThree[#1]{\PiZeroN[#1]{3}}
+ % \WithSuffix\def\PiZeroThree(#1){\PiZeroN[#1]{3}}
+
+ \newcommand*{\PiOneN}[1]{\utilde{\symbf{\Pi}}^1_{#1}}
+ \WithSuffix\def\PiOneN[#1]#2{\utilde{\symbf{\Pi}}^{1,#1}_{#2}}
+ % \WithSuffix\def\PiOneN(#1)#2{\PiOneN{#2}\!\left(#1\right)}
+ \newcommand*{\PiOneOne}{\PiOneN{1}}
+ \WithSuffix\def\PiOneOne[#1]{\PiOneN[#1]{1}}
+ % \WithSuffix\def\PiOneOne(#1){\PiOneN[#1]{1}}
+ \newcommand*{\PiOneTwo}{\PiOneN{2}}
+ \WithSuffix\def\PiOneTwo[#1]{\PiOneN[#1]{2}}
+ % \WithSuffix\def\PiOneTwo(#1){\PiOneN[#1]{2}}
+ \newcommand*{\PiOneThree}{\PiOneN{3}}
+ \WithSuffix\def\PiOneThree[#1]{\PiOneN[#1]{3}}
+ % \WithSuffix\def\PiOneThree(#1){\PiOneN[#1]{3}}
+
+
+
+ %%%ABREVIATIONS
+ \newcommand*{\Deltaz}{\deltaN{0}}
+ \newcommand*{\Deltazn}{\DeltaZeroN}
+ \newcommand*{\Deltazii}{\DeltaZeroTwo}
+ \newcommand*{\Deltazi}{\DeltaZeroOne}
+ \newcommand*{\Deltazz}{\DeltaZeroZero}
+ \newcommand*{\Deltaziii}{\DeltaZeroThree}
+ \newcommand*{\DeltaIn}{\DeltaOneN}
+ \newcommand*{\DeltaIi}{\DeltaOneOne}
+ \newcommand*{\Deltaoneone}{\DeltaOneOne}
+ \newcommand*{\DeltaIii}{\DeltaOneTwo}
+ \newcommand*{\DeltaIiii}{\DeltaOneThree}
+ \newcommand*{\Sigmazn}{\SigmaZeroN}
+ \newcommand*{\Sigmazi}{\SigmaZeroOne}
+ \newcommand*{\Sigmazii}{\SigmaZeroTwo}
+ \newcommand*{\Sigmaziii}{\SigmaZeroThree}
+ \newcommand*{\SigmaIn}{\SigmaOneN}
+ \newcommand*{\SigmaIi}{\SigmaOneOne}
+ \newcommand*{\SigmaIii}{\SigmaOneTwo}
+ \newcommand*{\SigmaIiii}{\SigmaOneThree}
+ \newcommand*{\Pizn}{\PiZeroN}
+ \newcommand*{\Pizi}{\PiZeroOne}
+ \newcommand*{\Pizii}{\PiZeroTwo}
+ \newcommand*{\Piziii}{\PiZeroThree}
+ \newcommand*{\PiIn}{\PiOneN}
+ \newcommand*{\PiIi}{\PiOneOne}
+ \newcommand*{\PiIii}{\PiOneTwo}
+ \newcommand*{\PiIiii}{\PiOneThree}
+
+
+
+
+
+
+\fi
+}
+
+
+\def\@recthy@recfSYM@default{\phi}
+\let\@recthy@recfSYM=\@recthy@recfSYM@default
+\def\@recthy@recfnlSYM@default{\Phi}
+\let\@recthy@recfnlSYM=\@recthy@recfnlSYM@default
+\def\@recthy@useSYM@default{\ltx@ifpackageloaded{unicode-math}{\symbffrak{u}}{\mathfrak{u}}}
+\let\@recthy@useSYM=\@recthy@useSYM@default
+%%%ABREVIATIONS
+\DeclareOptionX{recfnlsym}[@recthy@recfnlSYM@default]{\letcs{\@recthy@recfnlSYM}{#1}}
+\DeclareOptionX{recfsym}[@recthy@recfSYM@default]{\letcs{\@recthy@recfSYM}{#1}}
+\DeclareOptionX{usesym}[@recthy@useSYM@default]{\letcs{\@recthy@useSYM}{#1}}
+
+
+%Degree Classes
+\AtEndOfPackage{
+\ifrecthy@nodegclasses
+ \@packinfo{No degree classes loading.}
+\else
+ \@packinfo{Degree classes loading.}
+ \newcommand{\Low}[1][]{\ensuremath{ \text{Low}^{#1} }}
+ \newcommand{\LowN}[2][]{\ensuremath{ \text{Low}^{#1}_{#2} }}
+ \newcommand{\lowN}[2][]{\ensuremath{ \mathcal{L}^{#1}_{#2} }}
+\fi
+}
+
+\AtEndOfPackage{
+\ifrecthy@nocomputations
+ \@packinfo{No computations loading.}
+\else
+%%%%%%
+ \newcommand*{\murec}[2]{\ensuremath{\mu#1\left( #2 \right) }}
+
+ %\newcommand*{\brecfSYM}{\phi}
+
+ % \newcommand*{\recf}[3][]{\@recthy@recfSYM^{#1}_{#2}\ifthenelse{\isempty{#3}}{}{\left(#3\right)}} %If give an empty arg just print function no parens
+ %\newcommand*{\brecf}[3][]{\brecfSYM^{#1}_{#2}\ifthenelse{\isempty{#3}}{}{\left(#3\right)}}
+ %\recfnl[d]{i}{Y}{x} gives i-th d-recursive functional operating on set Y and integer x
+ \newcommand*{\recfnl}[4][]{\@recthy@recfnlSYM_{#2\ifthenelse{\isempty{#1}}{}{,{#1}} }%
+ \ifthenelse{\isempty{#4}}%
+ {\ifthenelse{\isempty{#3}}%
+ {}% No args then print no parents
+ {(#3)}
+ }%If no oracle we just refer to the functional without any arguments
+ {\ifthenelse{\isempty{#3}}{(#4)}{(#3;#4)}%
+ }}
+ \NewDocumentCommand{\recf}{od()md()}{
+ \@recthy@recfSYM_{#3\IfNoValueTF{#1}{}{\ifthenelse{\isempty{#3}}{}{, }{#1}}}\IfNoValueTF{#2}{}{^{#2}}\IfNoValueTF{#4}{}{(#4)}
+ }
+
+
+ % \newcommand*{\thetafnl}[4][]{\Theta_{#2\ifthenelse{\isempty{#1}}{}{,#1} }%
+ % \ifthenelse{\isempty{#4}}%
+ % {\ifthenelse{\isempty{#3}}%
+ % {}% No args then print no parents
+ % {(#3)}
+ % }%If no oracle we just refer to the functional without any arguments
+ % {\ifthenelse{\isempty{#3}}{(#4)}{(#3;#4)}%
+ % }}
+
+ % \newcommand*{\psifnl}[4][]{\Psi_{#2\ifthenelse{\isempty{#1}}{}{,#1} }%
+ % \ifthenelse{\isempty{#4}}%
+ % {\ifthenelse{\isempty{#3}}%
+ % {}% No args then print no parents
+ % {(#3)}
+ % }%If no oracle we just refer to the functional without any arguments
+ % {\ifthenelse{\isempty{#3}}{(#4)}{(#3;#4)}%
+ % }}
+
+ % \newcommand*{\phifnl}[4][]{\Phi_{#2\ifthenelse{\isempty{#1}}{}{,#1} }%
+ % \ifthenelse{\isempty{#4}}%
+ % {\ifthenelse{\isempty{#3}}%
+ % {}% No args then print no parents
+ % {(#3)}
+ % }%If no oracle we just refer to the functional without any arguments
+ % {\ifthenelse{\isempty{#3}}{(#4)}{(#3;#4)}%
+ % }}
+
+ % \newcommand*{\upsilonfnl}[4][]{\Upsilon_{#2\ifthenelse{\isempty{#1}}{}{,#1} }%
+ % \ifthenelse{\isempty{#4}}%
+ % {\ifthenelse{\isempty{#3}}%
+ % {}% No args then print no parents
+ % {(#3)}
+ % }%If no oracle we just refer to the functional without any arguments
+ % {\ifthenelse{\isempty{#3}}{(#4)}{(#3;#4)}%
+ % }}
+
+
+ \newcommand*{\cequiv}{\mathrel{\simeq}}
+ \newcommand*{\ncequiv}{\mathrel{\not\simeq}}
+ \NewDocumentCommand{\conv}{O{}}{\mathpunct{\downarrow}_{#1}}
+ \let\converge=\conv
+ %\newcommand*{\convs}[1]{\ensuremath{\conv_{#1}}}
+% \NewDocumentCommand{\nconv}{o}{\mathpunct{\mkern-4mu{\arrownot\mkern 4mu \downarrow}_{#1}}}
+ \NewDocumentCommand{\nconv}{O{}}{\mathpunct{\mkern-4mu{\smallsetminus\mkern 4mu \downarrow}_{#1}}}
+ \newcommand*{\diverge}{\mathpunct{\uparrow}}
+ % \newcommand*{\use}[2]{\mathscr{u}(#1\ifthenelse{\isempty{#2}}{}{,#2})}
+ \newcommand*{\use}[1]{\mathop{\@recthy@useSYM}[#1]}
+% \newcommand*{\use}[1]{\ltx@ifpackageloaded{unicode-math}{\symbffrak{u}}{\mathfrak{u}}\left(#1\right)}
+ % \NewDocumentCommand{\REset}{omd()}{
+ % W_{#2\IfNoValueTF{#1}{}{, #1}}\IfNoValueTF{#3}{}{^{#3}}
+ % }
+
+ \newcommand*{\REset}{\let\@PMG@parenarg\@PMG@undefined\let\@PMG@braketarg\@PMG@undefined\@REsetbody}
+ \newcommand*{\@REsetbody}[1]{W\ifdefined\@PMG@parenarg
+ ^{\@PMG@parenarg}%
+ \fi%
+ \ifdefined\@PMG@braketarg
+ _{#1, {\@PMG@braketarg}}%
+ \else
+ _{#1}
+ \fi}
+ \WithSuffix\def\@REsetbody(#1){\def\@PMG@parenarg{#1}\@REsetbody}
+ \WithSuffix\def\@REsetbody[#1]{\def\@PMG@braketarg{#1}\@REsetbody}
+ \newcommand*{\alphaREAop}[2][]{\mathcal{J}^{#2}_{#1}}
+ \let\aREAop=\alphaREAop
+ \let\reaop=\alphaREAop
+ \newcommand*{\oneREAop}[1]{J_{#1}}
+ \let\iREAop=\oneREAop
+ \WithSuffix\def\reaop*#1{\oneREAop{#1}}
+ %converges
+
+\fi
+
+
+
+\ifrecthy@nodegrees
+ \@packinfo{No degrees loading.}
+\else
+
+
+ %%%%%%Turing Degrees
+ \def\firsttokof@pmg#1{\first@pmg@rdmxs(#1)}
+ \def\first@pmg@rdmxs(#1#2){#1}
+
+ \providecommand*{\Tdegvar}[1]{\symbf{#1}}
+ \providecommand*{\Tdegof}[1]{\utilde{#1}}
+ \providecommand*{\Tdeg}[1]{\ifthenelse{
+ % \equal{\detokenize{\Tzero}}{\futurelet\next@pmg\discard#1\@nil\expandafter\detokenize{\next@pmg}}
+ \equal{\detokenize{\Tzero}}{\detokenize{#1}} \OR
+ \equal{\detokenize{\Tzero}}{\detokenize{#1}} \OR
+ \equal{\detokenize{\zeroj}}{\detokenize{#1}} \OR
+ \equal{\detokenize{\zerojj}}{\detokenize{#1}} \OR
+ \equal{\detokenize{\zerojjj}}{\detokenize{#1}} \OR
+ \equal{\string \zeron }{\expandafter\string \first@pmg@rdmxs(#1)}
+ }{\Tdegof{#1}}{\Tdegvar{#1}}}
+
+ \providecommand*{\Tjump}[1]{#1'}
+ \let\jump=\Tjump
+ \providecommand*{\jumpn}[2]{#1^{(#2)}}
+ \providecommand*{\jjump}[1]{#1''}
+ % \newcommand*{\Tzerosym}{\MVZero}
+ \newcommand*{\Tzerosym}{\mathbb{0}}
+ \providecommand*{\Tzero}{{\Tzerosym}}
+ \providecommand*{\zeron}[1]{{\Tzerosym}^{(#1)}}
+ \providecommand*{\zeroj}{\jump{{\Tzerosym}}}
+ \let\Tzeroj=\zeroj
+ \providecommand*{\zerojj}{\jump{\jump{{\Tzerosym}}}}
+ \providecommand*{\zerojjj}{\jump{\jump{\jump{{\Tzerosym}}}}}
+ \let\Tzerojj=\zerojj
+ \let\Tzerojjj=\zerojjj
+
+ %%Misc Recursion theory stuff
+ %turing equivalent
+ \newcommand*{\@recthy@TSYM}{\symbf{T}}
+ \providecommand*{\Tequiv}{\mathrel{\equiv_{\@recthy@TSYM}}}
+ \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}}
+ \providecommand*{\Tgeq}{\geq_{\@recthy@TSYM}}
+ \providecommand*{\Tgtr}{>_{\@recthy@TSYM}}
+ \providecommand*{\Tless}{<_{\@recthy@TSYM}}
+ \providecommand*{\nTleq}{\nleq_{\@recthy@TSYM}}
+ \providecommand*{\nTgeq}{\ngeq_{\@recthy@TSYM}}
+
+ \providecommand*{\Tdegjoin}{\mathbin{\vee_{\@recthy@TSYM}}}
+ \providecommand*{\Tdegmeet}{\mathbin{\wedge_{\@recthy@TSYM}}}
+ \providecommand*{\Tmeet}{\Tdegmeet}
+ \providecommand*{\Tsetjoin}{\mathbin{\oplus}}
+ \providecommand*{\TsetJoin}{\mathop{\bigoplus}}
+ \providecommand*{\Tplus}{\Tsetjoin}
+ \providecommand*{\TPlus}{\TsetJoin}
+ \providecommand*{\Tjoin}{\Tsetjoin}
+ \providecommand*{\TJoin}{\TsetJoin}
+ \providecommand*{\Tincompat}{\incompat@recthy[\@recthy@TSYM]}
+ \providecommand*{\Tincomp}{\Tincompat}
+ \providecommand*{\Tcompat}{\compat@recthy[\@recthy@TSYM]}
+ \providecommand*{\nTincompat}{\Tcompat}
+ \providecommand*{\nTincomp}{\Tcompat}
+
+
+
+ \newcommand*{\@recthy@ttSYM}{\ensuremath{\tiny \mathtt{tt}}}
+ \newcommand*{\ttSYM}{\@recthy@ttSYM}
+ \newcommand*{\ttlneq}{\lneq_{\@recthy@ttSYM}}
+ \newcommand*{\ttleq}{\leq_{\@recthy@ttSYM}}
+ \newcommand*{\ttgneq}{\gneq_{\@recthy@ttSYM}}
+ \newcommand*{\ttgeq}{\geq_{\@recthy@ttSYM}}
+ \newcommand*{\ttgtr}{>_{\@recthy@ttSYM}}
+ \newcommand*{\ttless}{<_{\@recthy@ttSYM}}
+ \newcommand*{\ttnleq}{\nleq_{\@recthy@ttSYM}}
+ \newcommand*{\ttngeq}{\ngeq_{\@recthy@ttSYM}}
+\fi
+
+}
+
+
+
+% \ProcessOptions*
+% \ProcessOptionsX<\@recthy@family>
+\ProcessOptionsX
+
+
+
+
+
+
+
diff --git a/macros/latex/contrib/rec-thy/rec-thy.tex b/macros/latex/contrib/rec-thy/rec-thy.tex
new file mode 100644
index 0000000000..8fb6f3cbf2
--- /dev/null
+++ b/macros/latex/contrib/rec-thy/rec-thy.tex
@@ -0,0 +1,707 @@
+%
+% untitled
+%
+% Created by Peter M. Gerdes on 2010-10-14.
+% Copyright (c) 2010 . All rights reserved.
+%
+
+\documentclass[leqno,11pt]{amsart}
+\usepackage{amsmath}
+% \RequirePackage{amsmath}
+\usepackage[disallowspaces,fixamsmath]{mathtools}
+\usepackage{amssymb}
+\usepackage{amsthm}
+% \usepackage{amsfonts}
+% \DeclareMathAlphabet{\mathpzc}{OT1}{pzc}{m}{it}
+% \DeclareMathAlphabet{\mathbrush}{T1}{pbsi}{xl}{n}
+% \usepackage{mathspec}
+\usepackage{comment}
+\usepackage{unicode-math}
+\unimathsetup{math-style=TeX,bold-style=TeX,nabla=upright,partial=italic}
+\setmathfont{xits-math.otf}
+\setmathfont{xits-math.otf}[range={cal,bfcal},StylisticSet=1]
+
+
+\usepackage{hyperxmp}
+\usepackage[unicode,psdextra,pdfusetitle]{hyperref}
+\hypersetup{%
+ %pdfauthor={Peter M. Gerdes},
+ pdfsubject={LaTeX Package for Typesetting Computability Theory},
+ pdfkeywords={LaTeX;LaTex Package;Recursion Theory;Computability Theory;Mathematical Logic;r.e. sets; Turing reducibility;arithmetic hierarchy},
+ colorlinks=true,
+ citecolor=blue,
+ urlcolor=blue,
+ linkcolor=magenta,
+ pdfborder={0 0 0},
+ breaklinks=true,
+ pdfdisplaydoctitle=true,
+ pdfcontactaddress={107 Ardsley Drive},
+ pdfcontactcity={Syracuse, NY},
+ pdfcontactpostcode={13214},
+ pdfcontactcountry={United States},
+ pdfcontactphone={256-333-0128},
+ pdfcontactemail={gerdes@invariant.org},
+ pdfcontacturl={http://invariant.org},
+ pdflang={en},
+ % pdfauthortitle={Technical Assistant, Level III},
+ % pdfdate={\today},
+ pdfcopyright={Copyright (C) \today, Peter M. Gerdes},
+ baseurl={http://invariant.org}
+}
+\usepackage{cleveref}
+\usepackage{listings}
+\usepackage{multirow}
+\usepackage{booktabs}
+\usepackage{xtab}
+
+\usepackage[suppPriorityTrees]{rec-thy}
+\usepackage{suffix}
+\usepackage{metalogo}
+
+
+\newcommand{\tab}{\hspace{1cm}}
+% Uncomment some of the following if you use the features
+%
+% Running Headers and footers
+%\usepackage{fancyhdr}
+\usepackage[parfill]{parskip}
+%\usepackage{setspace}
+
+% Multipart figures
+%\usepackage{subfigure}
+
+
+% Surround parts of graphics with box
+%\usepackage{boxedminipage}
+
+% Package for including code in the document
+%\usepackage{listings}
+
+% If you want to generate a toc for each chapter (use with book)
+%\usepackage{minitoc}
+
+
+%\usepackage[pdftex]{graphicx}
+%\DeclareGraphicsExtensions{.pdf, .jpg, .tif}
+
+\title{The rec-thy Package}
+\author{Peter M. Gerdes (gerdes@invariant.org)}
+\date{\today: Version 2.4}
+
+\begin{document}
+
+
+
+
+\maketitle
+
+
+\begin{abstract}
+\noindent The rec-thy package is designed to help mathematicians publishing papers in the area of recursion theory (aka Computability Theory) easily use standard notation. This includes easy commands to denote Turing reductions, Turing functionals, \ce sets, stagewise computations, forcing and syntactic classes.
+\end{abstract}
+
+
+
+\section{Introduction}
+This package aims to provide a useful set of \LaTeX { }macros covering basic computability theory notation. Given the variation in usage in several areas this package had to pick particular notational conventions. The package author would like to encourage uniformity in these conventions but has included a multitude of package options to allow individual authors to choose alternative conventions or exclude that part of the package. Some effort has been made to align the semantic content of documents created with this package with the \LaTeX { }source. The author hopes that eventually this package may be incorporated into some larger package for typesetting papers in mathematical logic.
+
+While computability theory is now the more popular name for the subject also known as recursion theory the author deliberately choose to title this package rec-thy to avoid confusion with the proliferation of packages for typesetting computer science related disciplines. While the subject matter of computability theory and theoretical computer science overlap significantly the notational conventions often differ.
+
+Comments, patches, suggestions etc.. are all welcome. This project is hosted on github at \href{https://github.com/TruePath/Recursion-Theory-Latex-Package}{https://github.com/TruePath/Recursion-Theory-Latex-Package}.
+
+\section{Usage}
+Include the package in your document by placing \verb=\usepackage{rec-thy}= into your preamble after placing rec-thy.sty somewhere \TeX{ } can find it. The commands in this package have been divided into related groups. The commands in a given section can be disabled by passing the appropriate package option. For instance to disable the commands in the general mathematics section and the delimiters section you would include the following in your preamble \verb=\usepackage[nomath,nodelim]{rec-thy}=. The commands in each subsection along with their results are listed below and the options to disable the commands in each grouping or modify their behavior are listed in that subsection. Aliases and variants of a command are listed below the initial version of a command and aliases are indented.
+
+Significant use is made in this package of optional arguments delimited either by square brackets or parenthesis. Users of the package should take care to wrap arguments that may themselves include brackets or parenthesis in braces. For example \verb=\REset(\REset(X){e}){i}= should be fixed to \verb=\REset({\REset(X){e}}){i}=.
+
+\section{Alternate Symbols}
+While the symbols used by default in the package are suggested for adoption to achieve greater consistency users may wish to specify their own symbols and options have been provided to enable this. The following parameters may be specified.
+
+\begin{itemize}
+ \item[modulescr] Sets the script used to typeset the \verb=\module= command. Default is mathcal.
+ \item[reqscr] Sets the script used to typeset requirements. Default is mathscr.
+ \item[pfcasefont] Sets the script used to typeset Case in the cases helper.
+ \item[emptystr] Sets the empty string symbol
+ \item[concatsym] Sets the concat symbol.
+ \item[cdeltasym] Sets the symbol used to denote computably \( \Delta \) formulas. Default is \( \prescript{\mathcal{C}}{}{\Delta} \).
+ \item[cpisym] Same for \( \Pi \) formulas. Default is \( \prescript{\mathcal{C}}{}{\Pi} \).
+ \item[csigmasym] Same for \( \Sigma \) formulas. Default is \( \prescript{\mathcal{C}}{}{\Sigma} \).
+ \item[recfnlsym] Sets the symbol used for recursive functionals. Default is \( \Phi \).
+ \item[recfsym] Sets the symbol used for recursive functions. Default is \( \phi \).
+ \item[usesym] Sets the symbol used for the use operator. Default is \( \symbffrak{u} \) where this is printed using \verb=\symbfrak= if unicode-math is loaded and with \verb=\mathfrak= otherwise.
+ \item[ballsymb] Sets the symbol used for the ball command. Default is \( \mathscr{B} \).
+\end{itemize}
+
+As an example of how to use these commands consider the following code changing the ball symbol to \( \mathbf{B} \).
+
+\begin{verbatim}
+\def\myballsymb{\mathbf{B}}
+
+\usepackage[suppPriorityTrees, ballsymb=myballsymb]{rec-thy}
+\end{verbatim}
+
+
+\section{Commands}
+A few general conventions are usually followed in the commands. Whenever an operator can be used as a binary operator (as in \( X \union Y \)) and as an operation on some collection \( \Union_{i \in \omega} X_i \) the binary operator will begin with a lowercase letter \verb=\union= and the operation on the collection will begin with a capital letter \verb=\Union=. If the first letter is already capitalized then the second letter is used instead.
+
+Objects that have a natural stagewise approximation generally admit an optional argument in brackets to specify a stage. For instance \( \verb=\REset[s]{e}= \) yields \( \REset[s]{e} \). An optional argument in parenthesis is used for relativization. For instance \( \verb=\REset(X){e}= \) produces \( \REset(X){e} \). A notable exception to this rule are the formula classes where square brackets are used to indicate an oracle to be placed in the superscript, e.g., \( \verb=\pizn[X]{2}= \) yields \( \pizn[X]{2} \), so as not to generate confusion with the alternative notion \( \pizn{2}(X) \). Also a lowercase first letter in a formula class indicates the lightface version while a capital first letter indicates the boldface version.
+
+Unless indicated otherwise all macros are to be used inside math mode. Indented commands indicate an alias for the command on the line above.
+
+
+\subsection{Priority Trees}
+
+Note the commands in this section double as suggestions for standardized notation.
+
+\begin{xtabular}{l | l | l}\toprule
+ \verb=\PriorityTree= & \( \PriorityTree \) & Priority Tree \\ \midrule
+ \verb=\tpath= & \( \tpath \) & Truepath. \\ \midrule
+ \verb=\tpath[s]= & \( \tpath[s] \) & Approximate Truepath. \\ \midrule
+ \verb=\xi \leftof \eta = & \( \xi \leftof \eta \) & The left of relation for priority tree arguments \\ \midrule
+ \verb=\module{R}[X]{i,j}= & \module{R}{i,j} & Module in tree construction (superscript optional arg) \\ \midrule
+ \verb=\ball[X]{y}{s}= & \( \ball[X]{y}{s} \) & Location of ball \( y\) (headed to \( X \)) at \( s \)\\ \midrule
+ \verb=\ball{y}{s}= & \( \ball{y}{s} \) & Location of ball \( y\) at \( s \)\\ \bottomrule
+ \end{xtabular} \\
+
+
+There are a few additional commands relating to priority trees which are less frequently used and require passing the option \verb=suppPriorityTrees= to the package to use. These commands exist in a kind of limbo and will probably be removed in some future edition of the package absent popular demand and feedback for better notation.
+
+\begin{xtabular}{l | l | l}\toprule
+ \verb=\Astages{\xi}= & \( \Astages{\xi} \) & Set of stages at which \( \xi \) is active. \\ \midrule
+ \verb=\Vstages{\xi}= & \( \Vstages{\xi} \) & Stages where \( \xi \subfun \tpath[s] \) even if links skip \( \xi \). \\ \midrule
+ \verb=\reqof{\xi}= & \( \reqof{\xi} \) & Requirement implemented by a node \( \xi \). \\ \bottomrule
+\end{xtabular}
+
+
+\subsection{Computations}
+To disable these commands pass the option \verb=nocomputations=. \\ To specify an alternative symbol for either recursive functionals or recursive functions pass \verb!recfnlsym=macroname! or \verb!recfsym=macroname!. For instance, to use \( \psi \) for recursive functions and \( \Psi \) for recursive functionals pass the options \verb!recfsym=psi, recfnlsym=Psi!.
+
+\begin{xtabular}{l | l | l}\toprule
+ \verb=\murec{x}{f(x)>1}= & \( \murec{x}{f(x)>1} \) & Least \( x \) satisfying condition. \\ \midrule
+ \verb=\recf{e}= & \( \recf{e} \) &\multirow{4}{*}{Computable functions} \\[6pt]
+ \verb=\recf[s]{e}= & \( \recf[s]{e} \) & \\[6pt]
+ \verb=\recf{e}(x)= & \( \recf{e}(x) \) & \\[6pt]
+ \verb=\recf[s]{e}(x)= & \( \recf[s]{e}(x) \) & \\[6pt]
+ \verb=\recf(Y){e}= & \( \recf(Y){e} \) & \\[6pt]
+ \verb=\recf[s](Y){e}= & \( \recf[s](Y){e} \) & \\[6pt]
+ \verb=\recf(Y){e}(x)= & \( \recf(Y){e}(x) \) & \\[6pt]
+ \verb=\recf[s](Y){e}(x)= & \( \recf[s](Y){e}(x) \) & \\[6pt]
+ \verb=\recfnl{e}{Y}{x}= & \( \recfnl{e}{Y}{x} \) &\multirow{4}{*}{Computable functionals} \\[6pt]
+ \verb=\recfnl[s]{e}{Y}{x}= & \( \recfnl[s]{e}{Y}{x} \) & \\[6pt]
+ \verb=\recfnl{e}{Y}{}= & \( \recfnl{e}{Y}{} \) & \\[6pt]
+ \verb=\recfnl{e}{}{x}= & \( \recfnl{e}{}{x} \) & \\[6pt]
+ \verb=\recfnl{e}{}{}= & \( \recfnl{e}{}{} \) & \\ \midrule
+ \verb=\recfnl{e}{}{} \cequiv \recfnl{i}{}{}= & \( \recfnl{e}{}{} \cequiv \recfnl{i}{}{} \) & Equivalent computations\\ \midrule
+ \verb=\recfnl{e}{}{} \ncequiv \recfnl{i}{}{}= & \( \recfnl{e}{}{} \ncequiv \recfnl{i}{}{} \) & Inequivalent computations\\ \midrule
+ \verb=\recfnl{e}{}{x}\conv= & \( \recfnl{e}{}{x}\conv \) &\multirow{2}{*}{Convergence} \\[6pt]
+ \tab \verb=\recfnl{e}{}{x}\conv[s]= & \( \recfnl{e}{}{x}\conv[s] \) & \\ \midrule
+ \verb=\recfnl{e}{}{x}\nconv= & \( \recfnl{e}{}{x}\nconv \) &\multirow{2}{*}{Divergence} \\[6pt]
+ \tab \verb=\recfnl{e}{}{x}\nconv[s]= & \( \recfnl{e}{}{x}\nconv[s] \) & \\ \midrule
+ \verb=\use{\recfnl{e}{Y}{x}}= & \( \use{\recfnl{e}{Y}{x}} \) & Use of a computation. \\ \midrule
+ \verb=\REset{e}= & \( \REset{e} \) & \multirow{4}{*}{c.e. sets} \\[6pt]
+ \verb=\REset[s]{e}= & \( \REset[s]{e} \) & \\[6pt]
+ \verb=\REset(X){e}= & \( \REset(X){e} \) & \\[6pt]
+ \verb=\REset[s](X){e}= & \( \REset[s](X){e} \) & \\ \midrule
+ \verb=\iREAop{e}(\eset)= & \multirow{2}{*}{\( \iREAop{e}(\eset) \)} &\multirow{2}{*}{1-REA operator} \\
+ \tab \verb=\reaop*{e}(\eset)= & & \\ \midrule
+ \verb=\alphaREAop{\alpha}(\eset)= & \multirow{2}{*}{\( \alphaREAop{\alpha}(\eset) \)} &\multirow{2}{*}{\( \alpha \)-REA operator} \\[6pt]
+ \tab \verb=\reaop{\alpha}(\eset)= & & \\[6pt]
+ \verb=\alphaREAop[f]{\alpha}(\eset)= & \multirow{2}{*}{\( \alphaREAop[f]{\alpha}(\eset) \)} & \multirow{2}{*}{with particular witness to uniformity}\\[6pt]
+ \tab \verb=\reaop[f]{\alpha}(\eset)= & & \\
+ \bottomrule
+ \end{xtabular} \\
+
+
+\subsection{Degrees}
+To disable these commands pass the option \verb=nodegrees=. \\
+
+
+\begin{xtabular}{l | l | l}\toprule
+ \verb=\Tdeg{d}= & \( \Tdeg{d} \) & Turing degree \\ \midrule
+ \verb=\Tjump{X}= & \multirow{2}{*}{\( \Tjump{X} \)} & \multirow{2}{*}{Turing jump} \\
+ \tab \verb=\jump{X}= & & \\ \midrule
+ \verb=\jjump{X}= & \( \jjump{X} \) & \\ \midrule
+ \verb=\jumpn{X}{n}= & \( \jumpn{X}{n} \) & \\ \midrule
+ \verb=\Tzero= & \( \Tzero \) & Computable degree \\ \midrule
+ \verb=\zeroj= & \( \zeroj \) & \\ \midrule
+ \verb=\zerojj= & \( \zerojj \) & \\ \midrule
+ \verb=\zerojjj= & \( \zerojjj \) & \\ \midrule
+ \verb=\zeron{n}= & \( \zeron{n} \) & \\ \midrule
+ \verb=X \Tequiv Y= & \multirow{2}{*}{\( X \Tequiv Y \)} & \multirow{2}{*}{Turing equivalence}\\
+ \tab \verb=X \Teq Y= & & \\ \midrule
+ \verb=X \nTequiv Y= & \multirow{2}{*}{\( X \nTequiv Y \)} & \multirow{2}{*}{Turing inequivalence} \\
+ \tab \verb=X \nTeq Y= & & \\ \midrule
+ \verb=X \Tlneq Y= & \( X \Tlneq Y \) & \\ \midrule
+ \verb=X \Tleq Y= & \( X \Tleq Y \) & \\ \midrule
+ \verb=X \Tgneq Y= & \( X \Tgneq Y \) & \\ \midrule
+ \verb=X \Tgeq Y= & \( X \Tgeq Y \) & \\ \midrule
+ \verb=X \Tgtr Y= & \( X \Tgtr Y \) & \\ \midrule
+ \verb=X \Tless Y= & \( X \Tless Y \) & \\ \midrule
+ \verb=X \nTleq Y= & \( X \nTleq Y \) & \\ \midrule
+ \verb=X \nTgeq Y= & \( X \nTgeq Y \) & \\ \midrule
+ \verb=X \Tincompat Y= & \multirow{2}{*}{\( X \Tincompat Y \)} & Turing incompatibility \\
+ \tab \verb=X \Tincomp Y= & & \\ \midrule
+ \verb=X \Tcompat Y= & & \multirow{3}{*}{\( X \Tcompat Y \)} \\
+ \tab \verb=X \nTincomp Y= & & \\
+ \tab \verb=X \nTincompat Y= & & \\ \midrule
+ \verb=\Tdeg{d} \Tdegjoin \Tdeg{d'}= & \( \Tdeg{d} \Tdegjoin \Tdeg{d'} \) & Join of degrees\\ \midrule
+ \verb=\Tdeg{d} \Tdegmeet \Tdeg{d'}= & \multirow{2}{*}{\( \Tdeg{d} \Tdegmeet \Tdeg{d'} \)} & \multirow{2}{*}{Meet of degrees (when defined)} \\
+ \tab \verb=\Tdeg{d} \Tmeet \Tdeg{d'}= & & \\ \midrule
+ \verb=X \Tplus Y= & \multirow{2}{*}{\( X \Tplus Y \)} & \multirow{4}{*}{Effective join of sets} \\
+ \tab \verb=X \Tjoin Y= & & \\
+ \verb=\TPlus_{i \in \omega} X_i= & \multirow{2}{*}{\( \TPlus_{i \in \omega} X_i \)} & \\
+ \tab \verb=\TJoin_{i \in \omega} X_i= & & \\ \midrule
+ % \verb=\ttSYM= & \( \ttSYM \) & \\ \midrule
+ \verb=X \ttlneq Y= & \( X \ttlneq Y \) & Truth table reducibilities\\ \midrule
+ \verb=X \ttleq Y= & \( X \ttleq Y \) & \\ \midrule
+ \verb=X \ttgneq Y= & \( X \ttgneq Y \) & \\ \midrule
+ \verb=X \ttgeq Y= & \( X \ttgeq Y \) & \\ \midrule
+ \verb=X \ttgtr Y= & \( X \ttgtr Y \) & \\ \midrule
+ \verb=X \ttless Y= & \( X \ttless Y \) & \\ \midrule
+ \verb=X \ttnleq Y= & \( X \ttnleq Y \) & \\ \midrule
+ \verb=X \ttngeq Y= & \( X \ttngeq Y \) & \\
+ \bottomrule
+ \end{xtabular} \\
+\makeatletter
+\subsection{Requirement Assistance}
+To disable these commands pass the option \verb=noreqhelper=. To disable the hyperlinked requirements pass \verb=nohyperreqs=\\
+Math mode is not required for \verb=\req{R}{e\}=
+
+\begin{tabular}{l | l | l}\toprule
+\verb=\req{R}{e}= & \( \req{R}{e} \) & \multirow{3}{*}{Requirement } \\ \midrule
+\verb=\req{R}[\nu]{e\}= & \req{R}[\nu]{e} & \\ \midrule
+\verb=\req*{R}{e\}= & \req{R}{e} & \multirow{3}{*}{Requirement without hyperlinks} \\ \midrule
+\verb=\req*{R}[\nu]{e\}= & \req{R}[\nu]{e} & \\ \midrule
+ \bottomrule
+\end{tabular} \\
+
+We also introduce the following environments for introducing requirements. The requirement environment is used as follows
+
+\begin{lstlisting}[breaklines]
+ \begin{requirement}{\req{R^{*}}{r,j}}
+ \recfnl{r}{B}{} = \REset{j} \implies \exists[k] \left( \Upsilon^{j}_k(C \Tplus \REset{j}) = B) \lor \REset{j} \Tleq \Tzero \right)
+ \end{requirement}
+\end{lstlisting}
+
+Giving output
+
+ \begin{requirement}{\req{R^{*}}{r,j}}
+ \recfnl{r}{B}{} = \REset{j} \implies \exists[k] \left( \Upsilon^{j}_k(C \Tplus \REset{j}) = B) \lor \REset{j} \Tleq \Tzero \right)
+ \end{requirement}
+
+The require environment merges the \verb=\req[\nu]{R}{e\}= command directly into the environment arguments. It also creates an automatic label which makes use of the 1st and 2nd arguments but assumes the third argument contains only indexes whose names are subject to change. Unless \verb=nohyperreqs= is passed the \verb=\req[\nu]{R}{e\}= automatically links to the defining require environment.
+
+\begin{lstlisting}[breaklines]
+\begin{require}{R}{i}
+ \recfnl{i}{B}{} = \REset{i} \implies \exists[k] \left( \Upsilon^{i}_k(C \Tplus \REset{i}) = B) \lor \REset{j} \Tleq \Tzero \right)
+\end{require}
+\end{lstlisting}
+
+ Giving output
+
+\begin{require}{R}{i}
+ \recfnl{i}{B}{} = \REset{i} \implies \exists[k] \left( \Upsilon^{i}_k(C \Tplus \REset{i}) = B) \lor \REset{j} \Tleq \Tzero \right)
+\end{require}
+
+To list multiple requirements at once without introducing unnecessary spaces we also introduce the requirements environment which can be used as follows. Note that one may \textit{not} end the final line with a linebreak or an undesired tag will appear.
+
+\begin{lstlisting}[breaklines]
+\begin{requirements}
+\require{P}[A]{e} A \neq \recfnl{i}{}{} \\
+\require{P}[B]{e} B \neq \recfnl{i}{}{} \\
+\require{R}{i,\hat{i},j,\hat{j}} \recfnl{i}{A}{} = \hat{A} \land \recfnl{\hat{i}}{\hat{A}}{} = A \land \recfnl{j}{B}{} = \hat{B} \land \recfnl{\hat{j}}{\hat{B}}{} = B \implies \Gamma(\hat{A} \symdiff \hat{B}) = A \Tplus B
+\end{requirements}
+\end{lstlisting}
+
+\begin{requirements}
+\require{P}[A]{e} A \neq \recfnl{i}{}{} \\
+\require{P}[B]{e} B \neq \recfnl{i}{}{} \\
+\require{R}{i,\hat{i},j,\hat{j}} \recfnl{i}{A}{} = \hat{A} \land \recfnl{\hat{i}}{\hat{A}}{} = A \land \recfnl{j}{B}{} = \hat{B} \land \recfnl{\hat{j}}{\hat{B}}{} = B \implies \Gamma(\hat{A} \symdiff \hat{B}) = A \Tplus B
+\end{requirements}
+
+
+
+
+\subsection{General Math Commands}
+To disable these commands pass the option \verb=nomath=. \\
+
+\begin{tabular}{l | l | l}\toprule
+ \verb=\eqdef= & \( \eqdef \) & Definitional equals\\ \midrule
+ \verb=\iffdef= & \( \iffdef \) & Definitional equivalence\\ \midrule
+ \verb=\aut= & \( \aut \) & Automorphisms of some structure\\ \midrule
+ \verb=\Ord= & \( \Ord \) & Set of ordinals\\\midrule
+ \verb=\abs{x}= & \( \abs{x} \) & Absolute value\\ \midrule
+ \verb=\dom= & \( \dom \) & Domain \\ \midrule
+ \verb=\rng= & \( \rng \) & Range\\ \midrule
+ \verb=f\restr{X}= & \( f\restr{X} \) & Restriction\\ \midrule
+ \verb=\ordpair{x}{y}= & \( \ordpair{x}{y} \)& Ordered Pair\\ \midrule
+ \verb=f\map{X}{Y}= & \( f\map{X}{Y} \) & \multirow{2}{*}{Function specification} \\
+ \verb=\functo{f}{X}{Y}= & \( \functo{f}{X}{Y} \) &\\ \midrule
+ \verb=f \compfunc g= & \multirow{3}{*}{\( f \compose g \)} & \multirow{3}{*}{Function composition}\\
+ \tab \verb=f \funcomp g= & &\\
+ \tab \verb=f \compose g= & &\\ \midrule
+ \verb=\( \ensuretext{blah} \)= & \multirow{2}{*}{\( \ensuretext{blah} \)}& \multirow{2}{*}{Types argument in text mode} \\
+ \tab \verb=\ensuretext{blah}= & & \\
+ \bottomrule
+\end{tabular} \\
+\newpage
+
+\subsection{Operators}
+Misc operators used in logic and computability. To disable these commands pass the option \verb=nooperators=.\\
+
+\begin{tabular}{l | l | l}\toprule
+\verb=x \meet y= & \( x \meet y \) & \multirow{2}{*}{Meet operation} \\[6pt]
+ \verb=\Meet_{i\in \omega} x_i= & \( \Meet_{i\in \omega} x_i \) & \\ \midrule
+ \verb=x \join y= & \(x \join y \) & \multirow{2}{*}{Join operation} \\[6pt]
+ \verb=\Join_{i\in \omega} x_i= & \( \Join_{i\in \omega} x_i \) & \\ \midrule
+ \verb=x \xor y= & \( x \xor y \) & \\ \bottomrule
+\end{tabular} \\
+
+\subsection{Set Notation}
+To disable these commands pass the option \verb=nosets=.\\
+
+Note that \verb=\Cross= and \verb=\cross= overwrite the existing commands saving them as \verb=\CrossOrig= and \verb=\crossOrig= respectively as these commands have varying meanings between different font packages. However, the other commands avoid overwriting existing commands with that name
+
+\begin{tabular}{l | l | l}\toprule
+ \verb=\set{(x,y)}{x > y}= & \( \set{(x,y)}{x > y} \) & \multirow{2}{*}{Set notation} \\[6pt]
+ \verb=\set{(x,y)}= & \( \set{(x,y)} \) & \\ \midrule
+ \verb=\card{X}= & \( \card{X} \) & Cardinality \\ \midrule
+ \verb=X \union Y= & \( X \union Y \) & \multirow{2}{*}{Union} \\[6pt]
+ \verb=\Union_{i \in \omega} X_i= & \( \Union_{i \in \omega} X_i \) & \\ \midrule
+ \verb=X \isect Y= & \( X \isect Y \) & \multirow{2}{*}{Intersection} \\[6pt]
+ \verb=\Isect_{i \in \omega} X_i= & \( \Isect_{i \in \omega} X_i \) & \\ \midrule
+ \verb=X \cross Y= & \( X \cross Y \) & \multirow{2}{*}{Cartesian product (Cross Product)} \\[6pt]
+ \verb=\Cross_{i \in \omega} X_i= & \( \Cross_{i \in \omega} X_i \) & \\ \midrule
+ \verb=\powset{\omega}= & \( \powset{\omega} \) & Powerset \\ \midrule
+ \verb=\eset= & \( \eset \) & Emptyset abbreviation\\ \midrule
+ \verb=x \nin A= & \( x \nin A \) & not an element\\ \midrule
+ \verb=\setcmp{X}= & \( \setcmp{X} \) & Set compliment\\\midrule
+ \verb=X \setdiff Y= & \( X \setdiff Y \) & Set difference \\ \midrule
+ \verb=X \symdiff Y= & \( X \symdiff Y \) & Symmetric difference \\ \bottomrule
+ % \verb=\interior X= & \( \interior X \) & Interior \\ \midrule
+ % \verb=\closure X= & \( \clos X \) & Closure \\ \midrule
+ \bottomrule
+ \end{tabular} \\
+
+\subsection{Delimiters}
+To disable these commands pass the option \verb=nodelim=. \\
+
+\begin{tabular}{l | l | l}\toprule
+ \verb=\gcode{\phi}= & \multirow{3}{*}{\( \gcode{\phi} \)} & \multirow{3}{*}{Godel Code/Corner Quotes}\\
+ \tab \verb=\godelnum{\phi}= & &\\
+ \tab \verb=\cornerquote{\phi}= & &\\ \midrule
+ \verb=\llangle x,y,z \rrangle= & \( \llangle x,y,z \rrangle \) & Properly spaced double angle brackets\\
+ \bottomrule
+\end{tabular}
+
+\subsection{Recursive vs. Computable}
+To disable these commands pass the option \verb=nonames=. To use recursive, r.e. and recursively enumerable everywhere pass the option \verb=re=. To use computable, c.e. and computably enumerable everywhere pass the option \verb=ce=. To force REA and CEA use the options \verb=rea= and \verb=cea=. If none of these options are passed the macros will expand as below. All macros in this section work in both text and math modes.\\
+
+\begin{tabular}{l | l }\toprule
+\verb=\re= & \re \\ \midrule
+\verb=\ce= & \ce \\ \midrule
+\verb=\REA= & \REA \\ \midrule
+\verb=\CEA= & \CEA \\ \midrule
+\verb=\recursive= & \recursive \\ \midrule
+\verb=\computable= & \computable \\ \midrule
+\verb=\recursivelyEnumerable= & \recursivelyEnumerable \\ \midrule
+\verb=\computablyEnumerable= & \computablyEnumerable \\ \midrule
+\verb=\Recursive= & \Recursive \\ \midrule
+\verb=\Computable= & \Computable \\ \midrule
+\verb=\RecursivelyEnumerable= & \RecursivelyEnumerable \\ \midrule
+\verb=\ComputablyEnumerable= & \ComputablyEnumerable \\ \midrule
+ \bottomrule
+\end{tabular}
+
+\subsection{Quantifiers \& Connectives}
+To disable these commands pass the option \verb=noquants=. The commands \verb=\exists= and \verb=\forall= are standard but the package extends them.\\
+
+\begin{tabular}{l | l | l}\toprule
+ \verb=\exists[x < y]= & \( \exists[x < y ] \) & \\[6pt]
+ \verb=\exists(x < y)= & \( \exists(x < y ) \) & \\ \midrule
+ \verb=\exists*= & \multirow{2}{*}{\( \exists* \)} & \\[6pt]
+ \tab \verb=\existsinf= & & \\[6pt]
+ \verb=\exists*[x < y]= & \( \exists*[x < y ] \) & \\[6pt]
+ \verb=\exists*(x < y)= & \( \exists*(x < y ) \) & \\ \midrule
+ \verb=\nexists[x < y]= & \( \nexists[x < y ] \) & \\[6pt]
+ \verb=\nexists(x < y)= & \( \nexists(x < y ) \) & \\ \midrule
+ \verb=\nexists*= & \multirow{2}{*}{\( \nexists* \)} & \\[6pt]
+ \tab \verb=\nexistsinf= & & \\[6pt]
+ \verb=\nexists*[x < y]= & \( \nexists*[x < y ] \) & \\[6pt]
+ \verb=\nexists*(x < y)= & \( \nexists*(x < y ) \) & \\ \midrule
+ \verb=\forall[x < y]= & \( \forall[x < y ] \) & \\[6pt]
+ \tab \verb=\forall(x < y)= & \( \forall(x < y ) \) & \\ \midrule
+ \verb=\forall*= & \multirow{2}{*}{\( \forall* \)} &\multirow{4}{*}{For almost all.} \\
+ \tab \verb=\forallae= & & \\[6pt]
+ \verb=\forall*[x < y]= & \( \forall*[x < y ] \) & \\[6pt]
+ \verb=\forall*(x < y)= & \( \forall*(x < y ) \) & \\ \midrule
+ \verb=\True= & \( \True \) & \\ \midrule
+ \verb=\False= & \( \False \) & \\ \midrule
+ \verb=\Land \phi_i= & \( \Land \phi_i \) & Operator form of and\\ \midrule
+ \verb=\Lor \phi_i= & \( \Lor \phi_i \) & Operator form of or\\ \midrule
+ \verb=\LLand \phi_i= & \( \LLand \phi_i \) & Infinitary conjunction\\ \midrule
+ \verb=\LLor \phi_i= & \( \LLor \phi_i \) & Infinitary disjunction\\
+ \bottomrule
+\end{tabular}
+\subsection{Spaces}
+To disable these commands pass the option \verb=nospaces=.\\
+
+\begin{tabular}{l | l | l}\toprule
+ \verb=\bstrs= & \( \bstrs \) & Finite binary strings \\ \midrule
+ \verb=\wstrs= & \( \wstrs \) & Finite sequences of integers \\ \midrule
+ \verb=\cantor= & \( \cantor \) & Cantor space \\ \midrule
+ \verb=\baire= & \( \baire \) & Baire space \\[6pt]
+ \verb=\Baire= & \( \Baire \) & Alternate baire space \\
+ \bottomrule
+ \end{tabular}
+
+\subsection{Strings}
+To disable these commands pass the option \verb=nostrings=.\\
+
+To specify an alternative symbol for the empty string pass \verb!emptystr=macroname!. For instance, to use \( \lambda \) as the empty string pass \verb!emptystr=lambda!. Similarly, to specify an alternate value for the conatination symbol pass \verb!concatsym=macroname!, e.g., if you specify \verb!\def\plus{+}! and then pass \verb!concatsym=plus! the concatenation symbol would be changed to \( + \).
+
+\begin{tabular}{l | l | l}\toprule
+ \verb=\str{1,0,1}= & \( \str{1,0,1} \) & \multirow{2}{*}{Strings/Codes for strings} \\
+ \tab \verb=\code{5,8,13}= & \( \code{5,8,13} \) & \\ \midrule
+ \verb=\EmptyStr= & \( \EmptyStr \) & \multirow{2}{*}{Empty string} \\[6pt]
+ \tab \verb=\estr= & \( \estr \) & \\ \midrule
+ \verb=\decode{\sigma}{3}= & \( \decode{\sigma}{3} \) & Alternate notation for \( \sigma(3) \) \\ \midrule
+ \verb=\sigma\concat\tau= & \( \sigma\concat\tau \) & \multirow{2}{*}{Concatenation} \\[6pt]
+ \verb=\sigma\concat[0]= & \( \sigma\concat[0] \) & \\ \midrule
+ \verb=\strpred{\sigma}= & \( \strpred{\sigma} \) & The immediate predecessor of \( \sigma \) \\ \midrule
+ \verb=\lh{\sigma}= & \( \lh{\sigma} \) & Length of \( \sigma \) \\ \midrule
+ \verb=\sigma \incompat \tau= & \( \sigma \incompat \tau \) & \multirow{2}{*}{Incompatible strings} \\
+ \tab \verb=\sigma \incomp \tau= & \( \sigma \incomp \tau \) & \\ \midrule
+ \verb=\sigma \compat \tau= & \( \sigma \compat \tau \) & Compatible strings \\ \midrule
+ \verb=\pair{x}{y}= & \( \pair{x}{y} \) & Code for the pair \( (x,y) \) \\ \midrule
+ \verb=\setcol{X}{n}= & \( \setcol{X}{n} \) & \( \set{y}{\pair{n}{y} \in X} \) \\ \midrule
+ \verb=\setcol{X}{\leq n}= & \( \setcol{X}{\leq n} \) & \( \set{ \pair{x}{y}}{\pair{x}{y} \in X \land x \leq n} \) \\
+ \bottomrule
+ \end{tabular}
+
+\subsection{Subfunctions}
+To disable these commands pass the option \verb=nosubfuns=.\\
+
+\begin{tabular}{l | l | l}\toprule
+ \verb=f \subfun g= & \( f \subfun g \) & Varieties of the function extension relation \\ \midrule
+ \verb=f \supfun g= & \( f \supfun g \) & \\ \midrule
+ \verb=f \nsubfun g= & \( f \nsubfun g \) & \\ \midrule
+\verb=f \nsupfun g= & \( f \nsupfun g \) & \\ \midrule
+ \verb=f \subfuneq g= & \( f \subfuneq g \) & \\ \midrule
+ \verb=f \supfuneq g= & \( f \supfuneq g \) & \\ \midrule
+ \verb=f \nsubfuneq g= & \( f \nsubfuneq g \) & \\ \midrule
+\verb=f \nsupfuneq g= & \( f \nsupfuneq g \) & \\ \midrule
+ \bottomrule
+ \end{tabular}
+
+\subsection{Trees}
+To disable these commands pass the option \verb=notrees=.\\
+
+\begin{tabular}{l | l | l}\toprule
+ \verb=\CBderiv{T}= & \( \CBderiv{T} \) & \multirow{2}{*}{Cantor-Bendixson Derivative} \\[6pt]
+ \verb=\CBderiv[\alpha]{T}= & \( \CBderiv[\alpha]{T} \) & \\ \midrule
+ \verb=\pruneTree{T}= & \( \pruneTree{T} \) & \( \set{\sigma \in T}{\exists(g)(g \in [T] \land \sigma \subset g)} \) \\ \midrule
+ \verb=\hgt{T}= & \( \hgt{T} \) & \\
+ \bottomrule
+ \end{tabular}
+
+\subsection{Set Relations}
+To disable these commands pass the option \verb=nosetrels=.\\ Note that many of these commands are extensions of existing commands.
+
+\begin{tabular}{l | l | l}\toprule
+ \verb=X \subset* Y= & \( X \subset* Y\) & \multirow{2}{*}{All but finitely much of \( X \) is in \( Y \)} \\
+ \verb=X \subseteq* Y= & \( X \subseteq* Y\) & \\ \midrule
+ \verb=X \supset* Y= & \( X \supset* Y\) & \multirow{2}{*}{All but finitely much of \( Y \) is in \( X \)} \\
+ \verb=X \supseteq* Y= & \( X \supseteq* Y\) & \\ \midrule
+ \verb=X \eq Y= & \( X \eq Y\) & Macro for \verb~=~ \\ \midrule
+ \verb=X \eq* Y= & \multirow{2}{*}{\( X \eq* Y\)} & \multirow{2}{*}{Equal mod finite} \\
+ \tab \verb=X \eqae Y= & & \\ \midrule
+ \verb=X \infsubset Y= & \( X \infsubset Y\) & \( X \subset Y \land \card{Y \setminus X}=\omega \) \\ \midrule
+ \verb=X \infsubset* Y= & \( X \infsubset* Y\) & \( X \subset* Y \land \card{Y \setminus X}=\omega \) \\ \midrule
+ \verb=X \infsupset Y= & \( X \infsupset Y\) & \( Y \subset X \land \card{X \setminus Y}=\omega \) \\ \midrule
+ \verb=X \infsupset* Y= & \( X \infsupset* Y\) & \( Y \subset* X \land \card{X \setminus Y}=\omega \) \\ \midrule
+ \verb=X \majsubset Y= & \( X \majsubset Y\) & \( X \) is a major subset of \( Y \) \\ \midrule
+ \verb=X \majsupset Y= & \( X \majsupset Y\) & \( Y \) is a major subset of \( X \) \\
+ \bottomrule
+ \end{tabular}
+
+\subsection{Ordinal Notations}
+To disable these commands pass the option \verb=noordinalnotations=.\\
+
+\begin{tabular}{l | l | l}\toprule
+ \verb=\wck= & \( \wck \) & First non-computable ordinal \\ \midrule
+ \verb=\ordzero= & \( \ordzero \) & Notation for ordinal \( 0 \)\\ \midrule
+ \verb=\abs{\alpha}= & \( \abs{\alpha} \) & Ordinal \( \alpha \) denotes \\ \midrule
+ \verb=\kleeneO= & \multirow{2}{*}{\( \kleeneO \)} & \multirow{2}{*}{Set of ordinal notations} \\[6pt]
+\tab \verb=\ordNotations= & & \\[6pt]
+ \verb=\kleeneO*= & \multirow{3}{*}{\( \kleeneO* \)} & \multirow{3}{*}{Unique set of ordinal notations} \\[6pt]
+\tab \verb=\uniqOrdNotations= & & \\[6pt]
+\tab \verb=\kleeneOuniq= & & \\[6pt]
+ \verb=\kleeneO(X)= & \( \kleeneO(X) \) & Relativized ordinal notations \\[6pt]
+ \verb=\kleeneO[\alpha]= & \( \kleeneO[\alpha] \) & Ordinal notations for ordinals \( < \abs{\alpha} \) \\[6pt]
+ \verb=\kleeneO*(X)[\alpha]= & \( \kleeneO*(X)[\alpha] \) & \\ \midrule
+ \verb=\alpha \kleeneless \beta= & \( \alpha \kleeneless \beta \) & Ordering on notations \\ \midrule
+ \verb=\alpha \kleenel \beta= & \( \alpha \kleenel \beta \) & \\ \midrule
+ \verb=\alpha \kleeneleq \beta= & \( \alpha \kleeneleq \beta \) & \\ \midrule
+ \verb=\alpha \kleenegtr \beta= & \( \alpha \kleenegtr \beta \) & \\ \midrule
+ \verb=\alpha \kleenegeq \beta= & \( \alpha \kleenegeq \beta \) & \\ \midrule
+ \verb=\alpha \kleenePlus \beta= & \( \alpha \kleenePlus \beta \) & Effective addition of notations \\ \midrule
+ \verb=\alpha \kleeneMul \beta= & \( \alpha \kleeneMul \beta \) & Effective multiplication of notations \\ \midrule
+ \verb=\kleenelim{\lambda}{n}= & \( \kleenelim{\lambda}{n} \) & The \( n \)-th element in effective limit defining notation \( \lambda \)\\ \midrule
+ \verb=\kleenepred{\alpha}= & \( \kleenepred{\alpha} \) & Predecessor of \( \alpha \) if defined \\ \midrule
+ \verb=\kleenehgt{R}= & \multirow{2}{*}{\( \kleenehgt{R} \)} & Heigh of computable relation \( R \) \\
+\tab \verb=\hgtO{R}= & & \\
+ \bottomrule
+ \end{tabular}
+
+\subsection{Forcing}
+To disable these commands pass the option \verb=noforcing=.\\
+
+\begin{tabular}{l | l | l}\toprule
+ \verb=\sigma \forces \phi= & \multirow{2}{*}{\( \sigma \forces \phi \)} & \multirow{2}{*}{\( \sigma \) forces \( \phi \)}\\
+ \tab \verb=\sigma \frc \phi= & & \\
+ \verb=\sigma \forces(X) \phi= & \( \sigma \forces(X)[T] \phi \) & \( \phi \) is formula relative to \( X \) \\
+ \verb=\sigma \forces[T] \phi= & \( \sigma \forces(X)[T] \phi \) & Local forcing on \( T \)\\
+ \verb=\sigma \forces* \phi= & \( \sigma \forces* \phi \) & Strong forcing \\
+ \bottomrule
+\end{tabular}
+
+\subsection{Syntax}
+To disable these commands pass the option \verb=nosyntax=.\\ All syntax classes can be relativized with an optional argument in square brackets even when not listed below. Only the \( \Delta \) formula classes are listed below since the syntax is identical for \( \Sigma \) and \( \Pi \). Capitalizing the first letter gives the boldface version in all cases (except the computable infinitary formulas as this doesn't make sense). Not all formulas/abbreviations are demonstrated below given the huge number but the enough are included to make it clear what command is required to generate the desired formula class, e.g., substituting pi for delta does what you think it does.
+
+To change the syntax for the computable infinitary formulas you can pass the options \verb!cdeltasym=macroname!, \verb!csigmasym=macroname! and \verb!cpisym=macroname! where macroname is the name (without the leading \\) of the macro giving the desired symbol to use for the relevant class.
+
+\begin{xtabular}{l | l | l}\toprule
+ \verb=\Cdeltan[X]{\alpha}= & \( \Cdeltan[X]{2} \) & The computable \( \delta^{X}_\alpha \) formulas \\ \midrule
+ \verb=\deltan{2}= & \( \deltan{2} \) & \\ \midrule
+ \verb=\deltan[X]{2}= & \( \deltan[X]{2} \) & \\ \midrule
+ \verb=\deltaZeroN[X]{2}= & \multirow{2}{*}{\( \deltaZeroN[X]{2} \)} & \\
+ \tab \verb=\deltazn[X]{2}= & & \\ \midrule
+ \verb=\deltaZeroOne[X]= & \multirow{2}{*}{\( \deltaZeroOne[X] \)} & \\
+ \tab \verb=\deltazi[X]= & & \\ \midrule
+ \verb=\sigmaZeroTwo[X]= & \multirow{2}{*}{\( \deltaZeroTwo[X] \)} & \\
+ \tab \verb=\sigmazii[X]= & & \\ \midrule
+ \verb=\deltaZeroThree[X]= & \multirow{2}{*}{\( \deltaZeroThree[X]\)} & \\
+ \tab \verb=\deltaziii[X]= & & \\ \midrule
+ \verb=\deltaOneN[X]{2}= & \multirow{2}{*}{\( \deltaOneN[X]{2} \)} & \\
+ \tab \verb=\deltaIn[X]{2}= & & \\ \midrule
+ \verb=\deltaOneOne[X]= & \multirow{2}{*}{\( \deltaOneOne[X] \)} & \\
+ \tab \verb=\deltaIi[X]= & & \\ \midrule
+ \verb=\deltaOneTwo[X]= & \multirow{2}{*}{\( \deltaOneTwo[X] \)} & \\
+ \tab \verb=\deltaIii[X]= & & \\ \midrule
+ \verb=\deltaOneThree[X]= & \multirow{2}{*}{\( \deltaOneThree[X] \)} & \\
+ \tab \verb=\deltaIiii[X]= & & \\ \midrule
+ \verb=\pizi= & \( \pizi \) & \\ \midrule
+ \verb=\pizn[X]{n}= & \( \pizn[X]{n} \) & \\ \midrule
+ \verb=\Deltan{2}= & \( \Deltan{2} \) & \\ \midrule
+ \verb=\DeltaOneN[X]{n}= & \( \DeltaOneN[X]{n} \) & \\ \midrule
+
+ \verb=\logic{\omega_1}{\omega}= & \( \logic{\omega_1}{\omega} \) & Indicates the kind of infinitary logic\\
+ \bottomrule
+\end{xtabular}
+
+\subsection{Proof Cases}
+
+\begin{proof}
+The pfcases enviornment provides a numbered, referenceable division of a proof segment into cases. Note these features are not available if you are using the package in a beamer document (not likely to be an issue).
+
+\begin{pfcases}
+\case[\( x = y \)]\label{case:first} %
+ Lorem ipsum dolor sit amet, consectetur adipiscing elit. In et enim eget nisl luctus venenatis. Pellentesque sed erat sodales, tincidunt quam non, eleifend risus. Fusce aliquam dignissim pharetra. Integer id dui ac libero tincidunt consectetur. Sed laoreet nunc nec semper laoreet.
+
+ Vestibulum semper eget velit ut lobortis. In vel finibus est. Nullam tellus dolor, pellentesque sed orci sed, ornare pretium diam. Nam vel tincidunt tellus. Nulla at mi nisl.
+
+\case[\( x = z \land z > q \land z < r \land x + z = r \)] \label{case:second} %
+ Quisque consectetur, felis non congue dictum, mauris mi suscipit sem, vel laoreet justo ipsum in tellus. Suspendisse blandit malesuada velit faucibus pulvinar.
+
+\begin{pfcases}
+\case[\( x=2 \)] \label{case:second:sub1} %
+ ipsum dolor sit amet, consectetur adipiscing elit. In et enim eget nisl luctus venenatis. Pellentesque sed erat sodales, tincidunt quam non, eleifend risus. Fusce aliquam dignissim pharetra. Integer id dui ac libero tincidunt consectetur. Sed laoreet nunc nec semper laoreet.
+\case[\( x = 3 \)] \label{case:second:sub2} %
+ consectetur adipiscing elit. In et enim eget nisl luctus venenatis. Pellentesque sed erat sodales, tincidunt quam non, eleifend
+\end{pfcases}
+
+\end{pfcases}
+
+We can now reference the case number \ref{case:second} and cleveref \cref{case:second} as well as case \ref{case:second:sub1} and cleveref \cref{case:second:sub2}.
+
+
+To skip numbering and instead reference with the argument to \verb=\case= use pfcases*
+\begin{pfcases*}
+\case[\( x = y \)]\label{case*:first} Lorem ipsum dolor sit amet, consectetur adipiscing elit. In et enim eget nisl luctus venenatis. Pellentesque sed erat sodales, tincidunt quam non, eleifend risus. Fusce aliquam dignissim pharetra. Integer id dui ac libero tincidunt consectetur. Sed laoreet nunc nec semper laoreet.
+
+Vestibulum semper eget velit ut lobortis. In vel finibus est. Nullam tellus dolor, pellentesque sed orci sed, ornare pretium diam. Nam vel tincidunt tellus. Nulla at mi nisl.
+
+\case[\( x = z \land z > q \land z < r \land x + z = r \)] \label{case*:second} Quisque consectetur, felis non congue dictum, mauris mi suscipit sem, vel laoreet justo ipsum in tellus. Suspendisse blandit malesuada velit faucibus pulvinar.
+\begin{pfcases*}
+\case[\( x=2 \)] \label{case*:second:sub1} Lorem ipsum dolor sit amet, consectetur adipiscing elit. In et enim eget nisl luctus venenatis. Pellentesque sed erat sodales, tincidunt quam non, eleifend risus. Fusce aliquam dignissim pharetra. Integer id dui ac libero tincidunt consectetur. Sed laoreet nunc nec semper laoreet.
+\case[\( x = 3 \)] \label{case*:second:sub2} consectetur adipiscing elit. In et enim eget nisl luctus venenatis. Pellentesque sed erat sodales, tincidunt quam non, eleifend
+\end{pfcases*}
+\end{pfcases*}
+\end{proof}
+
+Again we can ref case \ref{case*:second} and cleverref that \cref{case*:second}. Also case \ref{case*:second:sub1} and cleveref \cref{case*:second:sub2}.
+
+If the choice of cleveref labels aren't to your taste please let me know and I will consider changing them. Also, note that by passing the options \verb!pfcasefont=textit! one can change the font used to typeset Case to italics (or whatever other font command you choose).
+
+\vspace{.5cm}
+
+The above is accomplished with the following code.
+\begin{verbatim}
+\begin{proof}
+\begin{pfcases}
+ \case[\( x = y \)]\label{case:first} ...
+ \case[\( x = z \land z > q \land z < r \land x + z = r \)] \label{case:second} ..
+ \begin{pfcases}
+ \case[\( x=2 \)] \label{case:second:sub1} ..
+ \case[\( x = 3 \)] \label{case:second:sub2}..
+ \end{pfcases}
+\end{pfcases}
+.. \ref{case:second}.. \cref{case:second} .. \ref{case:second:sub1} .. \cref{case:second:sub2}
+\begin{pfcases*}
+ \case[\( x = y \)]\label{case*:first} ..
+ \case[\( x = z \land z > q \land z < r \land x + z = r \)] \label{case*:second} ..
+ \begin{pfcases*}
+ \case[\( x=2 \)] \label{case*:second:sub1} ..
+ \case[\( x = 3 \)] \label{case*:second:sub2}
+ \end{pfcases*}
+.. \ref{case*:second} .. \cref{case*:second} .. \ref{case*:second:sub1} .. \cref{case*:second:sub2}.
+\end{proof}
+\end{verbatim}
+
+
+
+\subsection{MRref}
+
+Finally to enable the mrref helper macros pass the option \verb=mrref=.\\ These macros normalize the formating of mathscinet references for supported bibliography styles and ensure the MR numbers link to the mathscinet page of the article. Unless you have a good reason (like journal formatting guidelines) there is no reason not to always pass this option. Note this option requires the hyperref package.
+
+
+\section{Release Notes}
+
+\begin{itemize}
+ \item[3.01] 02/17/2019 - Fixed \verb=\RE= \verb=\CE= \verb=\Re= and \verb=\Ce= for the various capitalized versions. Fixed weird bug with \verb=\recfnl= no longer working based on let. Removed \verb=\interior= and \\verb=\closure= as not really appropriate commands for the package and having bugs. Also fixed package to have correct version.
+ \item[3.0] 02/16/2019 - Added requirements environment for multiple requirements. Changed the \verb=\req= and \verb=\require= commands to take their optional argument after the first mandatory arguments as well as before. Added the commands \verb=\module= and \verb=\modof= and \verb=\xor=. Improved the corner quotes. Added \verb=\leftofeq=, \verb=\rightof=, \verb=\rightofeq=. Added \verb=\RE=, \verb=\CE=, \verb=\Ce=, \verb=\Re= and \verb=\Tincompat=, \verb=\Tincomp=, \verb=\Tcompat=. Changed the way strings are symbolized and coded. Fixed suffix commands to work with unicode-math. Also added \verb=\require*= inside \verb=\requirements=. Added \verb=\nleftofeq=, \verb=\nrightof=, \verb=\nrightofeq=, \verb=\nleftof=. The commands \verb=\ancestor=, \verb=\descendant= etc... \verb=\reqof=, \verb=\Astages= and \verb=\Vstages=now require the option suppPriorityTrees be passed to the class to use and should be viewed as depreciated. Fixed the options system so different symbols can be correctly passed to the class. Changed the way \verb=\recf= works to comply with the usual syntax.
+ \item[2.4.3] 11/29/2018 - Rendered compatible with beamer by removing enumitem requirement if beamer is loaded.
+ \item[2.4.2] 11/29/2018 - Fixed horrible bugs introduced in last version and fixed many symbols to work even in pdflatex mode. Also have everything compiling again.
+ \item[2.4.1] 2/14/2018 - Moved to using xparse to define the case macros and several other macros to allow nested brackets for optional arguments. Added the recf command and cleaned up some option processing. Also worked around the mathtools/unicode-math font bug described \href{https://tex.stackexchange.com/questions/335164/incompatibility-with-mathtools-and-unicode-math-in-xelatex/335177}{here}
+ \item[2.4] 1/17/2018 - Added priority tree helpers. Should be more robust with respect to existing definitions of common commands.
+ \item[2.3] 12/31/2017 - Added proof cases helper. Also fixed the issue with \verb=\ncequiv= in \XeLaTeX
+ \item[2.2] 11/14/2017 - Fixed \verb=\Tdeg= so it works different on symbols and vars and added \verb=\Tdegof= and \verb=\Tvarof=. Added \verb=\subfunneq= and \verb=\supfunneq=.
+ \item[2.1] 10/05/2017 - Fixed way packages are required so rec-thy can be loaded in a flexible order. Also fixed one or two bugs.
+ \item[2.0] 09/26/2017 - Added support for introducing requirements, the subfunction relation and probably other undocumented features
+ \item[1.3] 06/20/2012 - Added abbreviations for computable infinitary formulas and made a few minor fixes.
+ \item[1.2] 01/01/2011 - Fixed awful option processing bug preventing most options from being recognized and added mrref option.
+ \item[1.0] 10/15/2010 - Initial public release
+\end{itemize}
+
+
+
+
+
+
+
+
+
+
+
+\end{document} \ No newline at end of file