rec-thy (21jun12)

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

1 files changed, 100 insertions, 21 deletions

diff --git a/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty b/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty
index 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}}