rec-thy (21jun12)

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

4 files changed, 136 insertions, 35 deletions

diff --git a/Master/texmf-dist/doc/latex/rec-thy/README b/Master/texmf-dist/doc/latex/rec-thy/README
index 677cb51aad4..575de72d7b1 100644
--- a/Master/texmf-dist/doc/latex/rec-thy/README
+++ b/Master/texmf-dist/doc/latex/rec-thy/README
@@ -1,10 +1,24 @@
 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.
+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.
+Comments, feedback and patches welcomes.  
 
-Author: Peter Gerdes email: gerdes@invariant.org
+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. 
 
-01/01/2011
\ No newline at end of file
+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
\ 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
index 27e0db319d8..04a5d925f3f 100644
--- a/Master/texmf-dist/doc/latex/rec-thy/rec-thy.pdf
+++ 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
index 1d5c511a798..7ffc6f6b575 100644
--- a/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex
+++ b/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex
@@ -10,7 +10,8 @@
 \usepackage{rec-thy}
 \usepackage{multirow}
 \usepackage{booktabs}
-\usepackage{xtab}
+\usepackage{xtab} 
+\usepackage{hyperref}
 
 
 \newcommand{\tab}{\hspace{1cm}}
@@ -59,7 +60,7 @@ This package aims to provide a useful set of \LaTeX { }macros covering basic com
 
 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.
+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.
@@ -368,7 +369,9 @@ To disable these commands pass the option \verb=noforcing=.\\
 \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).
+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=, \verb=csigmasym= and \verb=cpisym= set equal to the command to produce your desired symbol.  This is UNTESTED and quite likely doesn't work yet.  If you desire this feature and it doesn't work send me a bug report. 
 
 \begin{xtabular}{l |  l | l}\toprule 
 	\verb=\Cdeltan[X]{\alpha}=          & \( \Cdeltan[X]{2}    \)      & The computable \( \delta^{X}_\alpha \) formulas  \\ \midrule
@@ -378,8 +381,8 @@ To disable these commands pass the option \verb=nosyntax=.\\  All syntax classes
 	\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=\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}  \)}      & \\ 
@@ -389,8 +392,12 @@ To disable these commands pass the option \verb=nosyntax=.\\  All syntax classes
 	\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
+	\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}
@@ -402,9 +409,10 @@ Finally to enable the mrref helper macros pass the option \verb=mrref=.\\  These
 	
 \section{Release Notes}
 
-\begin{itemize}
-	\item[1.2] Fixed awful option processing bug preventing most options from being recognized and added mrref option.
-	\item[1.0] Initial public release
+\begin{itemize}  
+	\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}
 	
 	
diff --git a/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty b/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty
index 9c8b1e5bce1..30c42cab80d 100644
--- a/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty
+++ b/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty
@@ -167,8 +167,8 @@
 \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@recursive}{\@recthy@ensuretext{recursive}}
 \newcommand*{\@recthy@computable}{\@recthy@ensuretext{computable}}
 \newcommand*{\@recthy@recursivelyEnumerable}{\@recthy@ensuretext{recursively enumerable}}
@@ -354,7 +354,7 @@
 	\@packinfo{No strings loading.}
 \else
 	\@packinfo{Strings loading.}
-
+        \newcommand*{\closedn}[1]{{#1}^\blacktriangledown}
 	\newcommand*{\str}[1]{\mathopen{\@recthy@llangle}#1\mathclose{\@recthy@rrangle}}
 	\newcommand*{\code}{\str}
 	\newcommand*{\EmptyStr}{\@recthy@EmptyStr}
@@ -412,15 +412,21 @@
 	\WithSuffix\def\subset*{\subset^{*}}
 	\WithSuffix\def\supset*{\supset^{*}}
 	\WithSuffix\def\subseteq*{\subseteq^{*}}
-	\WithSuffix\def\supseteq*{\supseteq^{*}}
-	% \WithSuffix\def\subsetneq*{\subsetneq^{*}}
-	% \WithSuffix\def\supsetneq*{\supsetneq^{*}}
+	\WithSuffix\def\supseteq*{\supseteq^{*}}  
 	\providecommand*{\nsupset}{\not\supset}
 	\providecommand*{\nsubset}{\not\subset}
+	\WithSuffix\def\nsubset*{\nsubset^{*}}
+	\WithSuffix\def\nsupset*{\nsupset^{*}}
+	\WithSuffix\def\nsubseteq*{\nsubseteq^{*}}
+	\WithSuffix\def\nsupseteq*{\nsupseteq^{*}}
+	% \WithSuffix\def\subsetneq*{\subsetneq^{*}}
+	% \WithSuffix\def\supsetneq*{\supsetneq^{*}}
+
 	\newcommand*{\eq}{=}
 	\WithSuffix\def\eq*{=^{*}}
 	\newcommand*{\eqae}{=^{*}}
-
+        \newcommand*{\neqae}{\neq^{*}}
+	\WithSuffix\def\neq*{\neq^{*}}
 
 	\newcommand*{\infsubset}{\subset_{\infty}}
 	\WithSuffix\def\infsubset*{\infsubset^{*}}
@@ -694,23 +700,96 @@
 
 
 
-	\newcommand*{\Cdeltan}[1]{\CDelta_{#1}}
-	\WithSuffix\def\Cdeltan[#1]#2{\Cdeltan{#2}^{#1}}
-	% \WithSuffix\def\Cdeltan(#1)#2{\Cdeltan{#2}\left(#1\right)}
-
-
-
-
-
+	\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}}
-	% \WithSuffix\def\Cpin(#1)#2{\Cpin{#2}\!\left(#1\right)}
-
-
+	\WithSuffix\def\Cpin[#1]#2{\Cpin{#2}^{#1}} 
 	\newcommand*{\Csigman}[1]{\CSigma_{#1}}
-	\WithSuffix\def\Csigman[#1]#2{\Csigman{#2}^{#1}}
-	% \WithSuffix\def\Csigman(#1)#2{\Csigman{#2}\!\left(#1\right)}
+	\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{\mathbf{\Delta}}_{#1}}