new latex package rec-thy 1.0 (16oct10)

git-svn-id: svn://tug.org/texlive/trunk@20114 c570f23f-e606-0410-a88d-b1316a301751

7 files changed, 1339 insertions, 1 deletions

diff --git a/Master/texmf-dist/doc/latex/rec-thy/README b/Master/texmf-dist/doc/latex/rec-thy/README
new file mode 100644
index 00000000000..12de6803c1b
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/rec-thy/README
@@ -0,0 +1,8 @@
+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.
+
+Comments, feedback and patches welcomes.
+
+Author: Peter Gerdes
+email: gerdes@invariant.org
+
+10/14/2010
\ No newline at end of file
diff --git a/Master/texmf-dist/doc/latex/rec-thy/rec-thy.pdf b/Master/texmf-dist/doc/latex/rec-thy/rec-thy.pdf
new file mode 100644
index 00000000000..7aa81b0ff08
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/rec-thy/rec-thy.pdf
diff --git a/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex b/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex
new file mode 100644
index 00000000000..dd30364035e
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex
@@ -0,0 +1,402 @@
+%
+%  untitled
+%
+%  Created by Peter M. Gerdes on 2010-10-14.
+%  Copyright (c) 2010 . All rights reserved.
+%
+
+\documentclass[11pt,oneside]{article}
+\usepackage{amsfonts}
+\usepackage{rec-thy}
+\usepackage{multirow}
+\usepackage{booktabs}
+\usepackage{xtab}
+
+
+\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{2010-10-14: Version 1.0}
+
+\begin{document}
+
+
+
+
+\maketitle
+
+
+\begin{abstract}
+	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.
+
+\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{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{Main Commands}
+\begin{xtabular}{l |  l | l}\toprule 
+	\verb=\murec{x}{f(x)>1}=					& \( 	\murec{x}{f(x)>1}                     \)	& Least \( x \) satisfying condition. \\ \midrule
+	\verb=\recfnl{e}{Y}{x}=                                	& \( 	\recfnl{e}{Y}{x}                      	   \)   &\multirow{4}{*}{Computable functions/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)=                        &  & \\ \midrule
+	\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=\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 \ttTleq Y=                                     & \( 	X \ttTleq Y                           	   \)   & \\ \midrule
+        \verb=X \ttTgeq Y=                                     & \(  X \ttTgeq Y                             	   \)   & \\ 
+		\bottomrule
+	\end{xtabular}          \\
+
+
+\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=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=\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{Set Notation}      
+To disable these commands pass the option \verb=nosets=.\\
+
+\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\\[6pt] 
+						 &	\( \setminuscmp{X} \)		    & With option \verb=minussetcmp= \\ \midrule
+	\verb=X \setminus Y=                     &    \(   X \setminus Y              \)    & Set difference \\ \midrule
+	\verb=X \symdiff Y=                      &    \(   X \symdiff Y               \)    & Symmetric difference \\ \midrule
+	\verb=\interior X=                       &    \(   \interior X                \)    & Interior \\ \midrule
+	\verb=\closure X=                        &    \(   \closure 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=.\\
+
+\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{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).
+
+\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=\deltaZeroTwo[X]=        & \multirow{2}{*}{\( \deltaZeroTwo[X]  \)}      & \\ 
+	\tab \verb=\deltazii[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=\Deltan{2}=              & \( \Deltan{2}        \)      & \\ \midrule
+	\verb=\logic{\omega_1}{\omega}= & \( \logic{\omega_1}{\omega} \) & Indicates the kind of infinitary logic\\ 
+		\bottomrule
+\end{xtabular}
+                                      
+	                              
+	
+	
+	
+	
+	
+	
+	
+	
+	
+	
+	
+	                                     
+
+\end{document}
\ No newline at end of file
diff --git a/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty b/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty
new file mode 100644
index 00000000000..414ba560a33
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty
@@ -0,0 +1,927 @@
+\NeedsTeXFormat{LaTeX2e}
+\newcommand*{\@curpack}{\@currname} %rec-thy.sty
+\newcommand*{\@packinfo}[1]{\PackageInfo{\@curpack}{#1}}
+\newcommand*{\recthy@strip}[1]{%\expandafter\newcommand{\csname #1\endcsname}{}% Makes sure arg isn't already a command
+\expandafter\edef\csname #1\endcsname{\expandafter\noexpand\csname @recthy@#1\endcsname}} %leaves us a command \arg defined to do \@recthy@arg
+\ProvidesPackage{\@curpack} [2010/10/14 v1.0  Provides commands for writing up recursion theory papers] %file name is package name
+
+
+\RequirePackage{suffix}
+\RequirePackage{ifmtarg}
+\RequirePackage{xifthen}
+\RequirePackage{xkeyval}
+\RequirePackage{undertilde}
+\RequirePackage{stmaryrd}
+\RequirePackage{amsmath}
+\RequirePackage{amssymb}
+\RequirePackage{marvosym}
+\DeclareMathAlphabet{\mathbrush}{T1}{pbsi}{xl}{n}
+
+\newcommand*{\PMG@arginit}{\let\@PMG@parenarg\@PMG@undefined\let\@PMG@braketarg\@PMG@undefined}
+
+\newcommand*{\@recthy@family}{\@currname.\@currext} %The default family for this package...filename.ext
+%Define boolean options true if option passed false otherwise
+\define@boolkeys{\@recthy@family}[recthy@]{nohyphenation,nomath,nodelim,nosets,noquants,nospaces,nostrings,notrees,nopair,nonames,nosetrels,noordinalnotations,nosyntax,nodegclasses,noforcing} %of form \ifrecthy@nosets etc...
+
+\AtEndOfPackage{
+\ifrecthy@nohyphenation
+	\@packinfo{No hyphenation loading.}
+\else
+\hyphenation{ra-tion-als ra-tion-al Harrington Slaman Cholak Knight Gerdes Lange}
+\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.}
+	\newcommand*{\eqdef}{\stackrel{\text{\tiny def}}{=}} %\newcommand*{\eqdef}{\ensuremath{=\limits_{\text{\tiny def}}}}
+	\newcommand*{\iffdef}{\stackrel{\text{\tiny def}}{\iff}}
+	\DeclareMathOperator{\aut}{Aut}
+	\DeclareMathOperator{\Ord}{Ord}
+
+	\newcommand*{\meet}{\mathbin{\wedge}}
+	\newcommand*{\join}{\mathbin{\vee}}
+	\newcommand*{\Meet}{\mathop{\bigwedge}}
+	\let\MnJoin=\Join
+	\renewcommand*{\Join}{\mathop{\bigvee}}
+	\recthy@strip{abs}
+	\DeclareMathOperator{\dom}{dom}
+	\DeclareMathOperator{\rng}{rng}
+	\newcommand*{\restr}[1]{\mathpunct{\restriction_{#1}}}
+	\newcommand*{\ordpair}[2]{\left( #1, #2 \right) }
+	%%%%%%%%Function commands
+	\newcommand*{\map}[2]{:#1\mapsto #2}
+	\newcommand*{\functo}[3]{#1\map{#2}{#3}}
+	\newcommand*{\compfunc}{\mathbin{\circ}}
+	\let\compose=\compfunc
+	\let\funcomp=\compfunc
+	\recthy@strip{ensuretext}
+\fi
+}
+
+
+
+% corner quotes From Sam Buss http://www.phil.cam.ac.uk/teaching_staff/Smith/LaTeX/resources/godelquotes.txt
+\newbox\@recthy@gnBoxA
+\newdimen\@recthy@gnCornerHgt
+\setbox\@recthy@gnBoxA=\hbox{$\ulcorner$}
+\global\@recthy@gnCornerHgt=\ht\@recthy@gnBoxA
+\newdimen\@recthy@gnArgHgt
+
+\newcommand{\@recthy@godelnum}[1]{%
+	\setbox\@recthy@gnBoxA=\hbox{$#1$}%
+	\@recthy@gnArgHgt=\ht\@recthy@gnBoxA%
+	\ifnum \@recthy@gnArgHgt<\@recthy@gnCornerHgt
+		\@recthy@gnArgHgt=0pt%
+	\else
+		\advance \@recthy@gnArgHgt by -\@recthy@gnCornerHgt%
+	\fi
+	\raise\@recthy@gnArgHgt\hbox{$\ulcorner$} \box\@recthy@gnBoxA %
+		\raise\@recthy@gnArgHgt\hbox{$\urcorner$}}
+
+
+
+\newcommand*{\@recthy@llangle}{\mathopen{\langle\!\langle}}
+\newcommand*{\@recthy@rrangle}{\mathclose{\rangle\!\rangle}}
+
+
+
+\AtEndOfPackage{
+\ifrecthy@nodelim
+	\@packinfo{No delimiters loading.}
+\else
+	\newcommand*{\godelnum}[1]{\@recthy@godelnum{#1}}
+	\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@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-\REA\relax}
+\newcommand*{\@recthy@CEA}{\ensuremath{\text{CEA}}}
+\WithSuffix\def\@recthy@CEA[#1]{#1-\CEA\relax}
+
+\AtEndOfPackage{
+\ifrecthy@nonames
+	\@packinfo{No names loading.}
+\else
+	\@packinfo{Names loading.}
+	\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
+}
+
+\DeclareOptionX<\@recthy@family>{re}{%
+	\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<\@recthy@family>{rea}{%
+		\let\@recthy@CEA=\@recthy@REA
+		}
+		
+\DeclareOptionX<\@recthy@family>{ce}{%
+	\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<\@recthy@family>{cea}{%
+			\let\@recthy@REA=\@recthy@CEA
+			}
+% Set stuff
+
+\newcommand*{\@recthy@set}[2]{\ifthenelse{\isempty{#2}}{\left \{  #1 \right \}}{\left \{ #1 \middle | #2\right \}} }
+
+
+\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@powset}[1]{\mathcal{P}\left(#1\right)}
+\newcommand*{\@recthy@eset}{\emptyset}
+\newcommand*{\@recthy@nin}{\mathrel{\not\in}}
+\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@setminusSYM{-}
+
+
+\DeclareOptionX<\@recthy@family>{setminussym}{\def\@recthy@setminusSYM{#1}}
+\DeclareOptionX<\@recthy@family>{setcmpminussym}{\def\@recthy@setminusSYM{#1}}
+\DeclareOptionX<\@recthy@family>{minussetcmp}{\let\@recthy@setcmp=\@recthy@setminuscmp}
+\newcommand*{\@recthy@setminus}{\mathbin{\@recthy@setminusSYM}}
+
+
+
+\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{setminus}
+	\newcommand*{\cross}{\mathbin{\times}}
+	\let\CrossOrig=\Cross
+	\def\Cross{}
+	\renewcommand*{\Cross}{\mathop{\Pi}}
+	\newcommand*{\symdiff}{\mathbin{\Delta}}
+	\DeclareMathOperator{\interior}{int}
+	\DeclareMathOperator{\closure}{cl}
+\fi
+}
+
+\AtEndOfPackage{
+\ifrecthy@noquants
+	\@packinfo{No quants loading.}
+\else
+	\@packinfo{Quants loading.}
+	\WithSuffix\def\exists(#1){\left(\exists\, #1 \right)\!}
+	\WithSuffix\def\forall(#1){\left(\forall\, #1 \right)\!}
+	\WithSuffix\def\nexists(#1){\left(\nexists\, #1 \right)\!}
+	\WithSuffix\def\exists[#1]{\left[\exists\, #1 \right]\!}
+	\WithSuffix\def\forall[#1]{\left[\forall\, #1 \right]\!}
+	\WithSuffix\def\nexists[#1]{\left[\nexists\, #1 \right]\!}
+	\WithSuffix\def\forall*{\forallae}
+	\WithSuffix\def\exists*{\existsinf}
+	\WithSuffix\def\nexists*{\nexistsinf}
+	
+	\newcommand*{\forallae}{\forall^{*}}
+	\WithSuffix\def\forallae(#1){\left(\forallae\, #1\right)\!}
+	\WithSuffix\def\forallae[#1]{\left[\forallae\, #1\right]\!}
+	\newcommand*{\existsinf}{\exists^{\infty}}
+	\WithSuffix\def\existsinf(#1){\left(\existsinf\, #1\right)\!}
+	\WithSuffix\def\existsinf[#1]{\left[\existsinf\, #1\right]\!}
+	\newcommand*{\nexistsinf}{\nexists^{\infty}}
+	\WithSuffix\def\nexistsinf(#1){\left(\nexistsinf\, #1\right)\!}
+	\WithSuffix\def\nexistsinf[#1]{\left[\nexistsinf\, #1\right]\!}
+
+	\newcommand*{\True}{\top}
+	\newcommand*{\False}{\bot}
+
+	\newcommand*{\Land}{\mathop{\bigwedge}}
+	\newcommand*{\Lor}{\mathop{\bigvee}}
+	\newcommand*{\LLand}{\mathop{\bigwedge\mkern-15mu\bigwedge}}
+	\newcommand*{\LLor}{\mathop{\bigvee\mkern-15mu\bigvee}}
+
+	\newcommand*{\liff}{\ensuremath{\leftrightarrow}}
+	\newcommand*{\limplies}{\ensuremath{\rightarrow}}
+\fi
+}
+
+\AtEndOfPackage{
+\ifrecthy@nospaces
+	\@packinfo{No spaces loading.}
+\else
+	\@packinfo{Spaces loading.}
+
+	\newcommand*{\bstrs}{2^{<\omega}}
+	\newcommand*{\wstrs}{\omega^{<\omega}}
+
+	\newcommand*{\cantor}{2^{\omega}}
+	% \WithSuffix\def\cantor*{\left(2\union \diverge \right)^{\omega}}
+	\newcommand*{\baire}{\omega^{\omega}}
+	% \WithSuffix\def\baire*{\left(\omega \union \diverge \right)^{\omega}}
+	\newcommand*{\Baire}{\mathcal{N}}
+\fi
+}
+
+
+% \newcommand*{\recfnlSYM}{\Phi}
+%
+% \DeclareOptionX{recfn}{\def\recfnlSYM{#1}}
+
+
+%Strings
+
+\newcommand*{\@recthy@EmptyStr}{\str{}}
+\newcommand*{\@recthy@concatSYM}{\hat{}}
+\DeclareOptionX<\@recthy@family>{emptystr}[]{\def\@recthy@EmptyStr{#1}}
+\DeclareOptionX<\@recthy@family>{concat}[]{\def\@recthy@concatSYM{#1}}
+
+
+\AtEndOfPackage{
+\ifrecthy@nostrings
+	\@packinfo{No strings loading.}
+\else
+	\@packinfo{Strings loading.}
+
+	\newcommand*{\str}[1]{\mathopen{\@recthy@llangle}#1\mathclose{\@recthy@rrangle}}
+	\newcommand*{\code}{\str}
+	\newcommand*{\EmptyStr}{\@recthy@EmptyStr}
+	\newcommand*{\estr}{\EmptyStr}
+	\newcommand*{\decode}[2]{(#1)_{#2}}
+	\newcommand*{\godelpair}[2]{\mathopen{\langle} #1, #2 \mathclose{\rangle}}
+	\newcommand*{\gpair}{\godelpair}
+	\newcommand*{\concat}{\mathbin{\@recthy@concatSYM}}
+	\WithSuffix\def\concat[#1]{\concat\str{#1}}
+	\newcommand*{\strpred}[1]{{#1}^{-}}
+	\newcommand*{\lh}[2][]{\@recthy@abs{#2}_{#1}} %% Gives length of a string
+	\newcommand*{\incompat}{\mathrel{\mid}} %incompatible stringes FIX SPACING
+	\newcommand*{\incomp}{\incompat}
+	\newcommand*{\compat}{\mathrel{\nmid}}
+	\newcommand*{\setcol}[2]{{#1}^{[#2]}}
+	\ifrecthy@nopair
+		\@packinfo{No redefining pair.}
+	\else
+		\@packinfo{pair=godelpair.}
+		\newcommand*{\pair}{\godelpair}
+	\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}
+
+%%%%%%
+\newcommand*{\murec}[2]{\ensuremath{\mu#1\left( #2 \right) }}
+
+%\newcommand*{\brecfSYM}{\phi}
+\newcommand*{\recfnlSYM}{\Phi}
+% \newcommand*{\recf}[3][]{\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][]{\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)}%
+}}
+
+
+\newcommand*{\cequiv}{\mathrel{\backsimeq}}
+\newcommand*{\ncequiv}{\mathrel{\not\cequiv}}
+\newcommand*{\conv}[1][]{\mathpunct{\downarrow}_{#1}}
+%\newcommand*{\convs}[1]{\ensuremath{\conv_{#1}}}
+\newcommand*{\nconv}[1][]{\mathpunct{\mkern-4mu{\arrownot\mkern 4mu \downarrow}_{#1}}}
+\newcommand*{\diverge}{\mathpunct{\uparrow}}
+% \newcommand*{\use}[2]{\mathscr{u}(#1\ifthenelse{\isempty{#2}}{}{,#2})}
+\newcommand*{\use}[1]{\mathop{\mathbrush{u}}\!\left[{#1}\right]}
+
+\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
+
+%%Computational  Classes
+
+
+
+%%%%%%Turing Degrees
+\newcommand*{\Tdeg}[1]{\utilde{#1}}
+
+\newcommand*{\Tjump}[1]{#1'}
+\let\jump=\Tjump
+\newcommand*{\jumpn}[2]{#1^{(#2)}}
+\newcommand*{\jjump}[1]{#1''}
+% \newcommand*{\Tzerosym}{\MVZero}
+\newcommand*{\Tzerosym}{\MVZero}
+\newcommand*{\Tzero}{{\Tzerosym}}
+\newcommand*{\zeron}[1]{{\Tzerosym}^{(#1)}}
+\newcommand*{\zeroj}{\jump{{\Tzerosym}}}
+\let\Tzeroj=\zeroj
+\newcommand*{\zerojj}{\jump{\jump{{\Tzerosym}}}}
+\newcommand*{\zerojjj}{\jump{\jump{\jump{{\Tzerosym}}}}}
+\let\Tzerojj=\zerojj
+\let\Tzerojjj=\zerojjj
+
+%%Misc Recursion theory stuff
+%turing equivalent
+\newcommand*{\@recthy@TSYM}{\mathbf{T}}
+\newcommand*{\Tequiv}{\mathrel{\equiv_{\@recthy@TSYM}}}
+\newcommand*{\Teq}{\Tequiv}
+\newcommand*{\nTequiv}{\mathrel{\ncong_{\@recthy@TSYM}}}
+\newcommand*{\nTeq}{\nTequiv}
+%turing below
+
+\newcommand*{\Tlneq}{\lneq_{\@recthy@TSYM}}
+\newcommand*{\Tleq}{\leq_{\@recthy@TSYM}}
+\newcommand*{\Tgneq}{\gneq_{\@recthy@TSYM}}
+\newcommand*{\Tgeq}{\geq_{\@recthy@TSYM}}
+\newcommand*{\Tgtr}{>_{\@recthy@TSYM}}
+\newcommand*{\Tless}{<_{\@recthy@TSYM}}
+\newcommand*{\nTleq}{\nleq_{\@recthy@TSYM}}
+\newcommand*{\nTgeq}{\ngeq_{\@recthy@TSYM}}
+
+\newcommand*{\Tdegjoin}{\mathbin{\vee_{\@recthy@TSYM}}}
+\newcommand*{\Tdegmeet}{\mathbin{\wedge_{\@recthy@TSYM}}}
+\newcommand*{\Tmeet}{\Tdegmeet}
+\newcommand*{\Tsetjoin}{\mathbin{\oplus}}
+\newcommand*{\TsetJoin}{\mathop{\bigoplus}}
+\newcommand*{\Tplus}{\Tsetjoin}
+\newcommand*{\TPlus}{\TsetJoin}
+\newcommand*{\Tjoin}{\Tsetjoin}
+\newcommand*{\TJoin}{\TsetJoin}
+
+\DeclareOptionX<\@recthy@family>{degjoin}{\def\Tjoin{\Tdegjoin}}
+
+
+
+
+\newcommand*{\@recthy@ttSYM}{\ensuremath{\text{\tiny 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*{\ttTleq}{\nleq_{\@recthy@ttSYM}}
+\newcommand*{\ttTgeq}{\ngeq_{\@recthy@ttSYM}}
+
+
+
+%re set relations
+\AtEndOfPackage{
+\ifrecthy@nosetrels
+	\@packinfo{No setrels loading.}
+\else
+	\@packinfo{setrels loading.}
+
+	\WithSuffix\def\subset*{\subset^{*}}
+	\WithSuffix\def\supset*{\supset^{*}}
+	\WithSuffix\def\subseteq*{\subseteq^{*}}
+	\WithSuffix\def\supseteq*{\supseteq^{*}}
+	% \WithSuffix\def\subsetneq*{\subsetneq^{*}}
+	% \WithSuffix\def\supsetneq*{\supsetneq^{*}}
+	\providecommand*{\nsupset}{\not\supset}
+	\providecommand*{\nsubset}{\not\subset}
+	\newcommand*{\eq}{=}
+	\WithSuffix\def\eq*{=^{*}}
+	\newcommand*{\eqae}{=^{*}}
+
+
+	\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.}
+
+\newcommand*{\wck}{\ensuremath{\omega^{ck}_1}}
+  % \newcommand*{\ordtype}[1]{\ensuremath{\@recthy@abs{#1}_{\kleeneO}}}
+	\newcommand*{\ordzero}{\ensuremath{0}}
+	
+	\newcommand*{\kleeneO}{\let\@PMG@parenarg\@PMG@undefined\let\@PMG@braketarg\@PMG@undefined\def\kleeneOSYM{\mathcal{O}}\@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*{\kleeneOuniq}{\kleeneO*}
+	\let\ordNotations=\kleeneO
+	\let\uniqOrdNotations=\kleeneOuniq
+	\newcommand*{\kleeneless}[1][]{<_{\kleeneO\ifthenelse{\isempty{#1}}{}{,#1}}}
+	\let\kleenel=\kleeneless
+	\newcommand*{\kleeneleq}[1][]{\leq_{\kleeneO\ifthenelse{\isempty{#1}}{}{,#1}}}
+	\newcommand*{\kleenenless}[1][]{\nless_{\kleeneO\ifthenelse{\isempty{#1}}{}{,#1}}}
+	\let\kleenenl=\kleenenless
+	\newcommand*{\kleenenleq}[1][]{\nleq_{\kleeneO\ifthenelse{\isempty{#1}}{}{,#1}}}
+	\newcommand*{\kleenegtr}[1][]{>_{\kleeneO\ifthenelse{\isempty{#1}}{}{,#1}}}
+	\let\kleeneg=\kleenegtr
+	\newcommand*{\kleenegeq}[1][]{\geq_{\kleeneO\ifthenelse{\isempty{#1}}{}{,#1}}}
+	\newcommand*{\kleenengtr}[1][]{\ngtr_{\kleeneO\ifthenelse{\isempty{#1}}{}{,#1}}}
+	\let\kleeneng=\kleenengtr
+	\newcommand*{\kleenengeq}[1][]{\ngeq_{\kleeneO\ifthenelse{\isempty{#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.}
+	\newcommand*{\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@}{[][]}%
+	% }
+	\newcommand*{\frc}{\forces}
+\fi
+}
+
+
+%%%%%%%%% Formula Classes
+
+\newcommand*{\@recthy@CDelta}{\vphantom{\Delta}^{\mathcal{C}}\Delta}
+\newcommand*{\@recthy@CSigma}{\vphantom{\Sigma}^{\mathcal{C}}\Sigma}
+\newcommand*{\@recthy@CPi}{\vphantom{\Pi}^{\mathcal{C}}\Pi}
+\newcommand*{\@PMG@syntax}{\@PMG@synsym
+
+}
+
+\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}}
+	% \newcommand*{\hyplogic}[1][]{\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}}
+	% \WithSuffix\def\Cdeltan(#1)#2{\Cdeltan{#2}\left(#1\right)}
+
+
+
+
+
+	\newcommand*{\Cpin}[1]{\CPi_{#1}}
+	\WithSuffix\def\Cpin[#1]#2{\Cpin{#2}^{#1}}
+	% \WithSuffix\def\Cpin(#1)#2{\Cpin{#2}\!\left(#1\right)}
+
+
+	\newcommand*{\Csigman}[1]{\CSigma_{#1}}
+	\WithSuffix\def\Csigman[#1]#2{\Csigman{#2}^{#1}}
+	% \WithSuffix\def\Csigman(#1)#2{\Csigman{#2}\!\left(#1\right)}
+
+%%%BOLDFACE
+	
+	\newcommand*{\Deltan}[1]{\utilde{\mathbf{\Delta}}_{#1}}
+	\WithSuffix\def\Deltan[#1]#2{\utilde{\mathbf{\Delta}}^{#1}_{#2}}
+	% \WithSuffix\def\Deltan(#1)#2{\deltan{#2}\!\left(#1\right)}
+	\newcommand*{\DeltaZeroN}[1]{\utilde{\mathbf{\Delta}}^{0}_{#1}}
+	\WithSuffix\def\DeltaZeroN[#1]#2{\utilde{\mathbf{\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{\mathbf{\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{\mathbf{\Sigma}}_{#1}}
+	\WithSuffix\def\Sigman[#1]#2{\utilde{\mathbf{\Sigma}}^{#1}_{#2}}
+	% \WithSuffix\def\Sigman(#1)#2{\sigman{#2}\!\left(#1\right)}
+	\newcommand*{\SigmaZeroN}[1]{\utilde{\mathbf{\Sigma}}^{0}_{#1}}
+	\WithSuffix\def\SigmaZeroN[#1]#2{\utilde{\mathbf{\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{\mathbf{\Sigma}}^1_{#1}}
+	\WithSuffix\def\SigmaOneN[#1]#2{\utilde{\mathbf{\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{\mathbf{\Pi}}_{#1}}
+	\WithSuffix\def\Pin[#1]#2{\utilde{\mathbf{\Pi}}^{#1}_{#2}}
+	% \WithSuffix\def\Pin(#1)#2{\pin{#2}\!\left(#1\right)}
+	\newcommand*{\PiZeroN}[1]{\utilde{\mathbf{\Pi}}^0_{#1}}
+	\WithSuffix\def\PiZeroN[#1]#2{\utilde{\mathbf{\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{\mathbf{\Pi}}^1_{#1}}
+	\WithSuffix\def\PiOneN[#1]#2{\utilde{\mathbf{\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
+}
+
+
+%%%ABREVIATIONS
+
+
+
+%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} }}
+	\newcommand{\req}[2]{\ensuremath{\mathcal{#1}_{#2}}}
+\fi
+}
+
+\ProcessOptionsX<\@recthy@family>
+
+
+
+
+
+
+
+
diff --git a/Master/tlpkg/bin/tlpkg-ctan-check b/Master/tlpkg/bin/tlpkg-ctan-check
index d8df32c990c..d12b71af520 100755
--- a/Master/tlpkg/bin/tlpkg-ctan-check
+++ b/Master/tlpkg/bin/tlpkg-ctan-check
@@ -274,7 +274,7 @@ my @TLP_working = qw(
     psu-thesis ptptex punknova purifyeps pxfonts
   qcm qobitree qstest qsymbols qtree quotmark
   r_und_s randbild randtext rccol rcs rcs-multi rcsinfo
-    realscripts recipe recipecard recycle rectopma
+    realscripts rec-thy recipe recipecard recycle rectopma
     refman refstyle regcount register relenc relsize resumemac revtex
     rjlparshap rlepsf rmpage
     robustcommand robustindex romande romanneg romannum rotating
diff --git a/Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc b/Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc
index ec5427a40bd..46d3c0c3bcd 100644
--- a/Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc
+++ b/Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc
@@ -25,6 +25,7 @@ depend ot-tableau
 depend oubraces
 depend proba
 depend realscripts
+depend rec-thy
 depend shuffle
 depend statex2
 depend stmaryrd
diff --git a/Master/tlpkg/tlpsrc/rec-thy.tlpsrc b/Master/tlpkg/tlpsrc/rec-thy.tlpsrc
new file mode 100644
index 00000000000..e69de29bb2d
--- /dev/null
+++ b/Master/tlpkg/tlpsrc/rec-thy.tlpsrc