texlive[46650] Master/texmf-dist: rec-thy (15feb18)
commits+karl at tug.org
commits+karl at tug.org
Fri Feb 16 01:09:09 CET 2018
Revision: 46650
http://tug.org/svn/texlive?view=revision&revision=46650
Author: karl
Date: 2018-02-16 01:09:09 +0100 (Fri, 16 Feb 2018)
Log Message:
-----------
rec-thy (15feb18)
Modified Paths:
--------------
trunk/Master/texmf-dist/doc/latex/rec-thy/README
trunk/Master/texmf-dist/doc/latex/rec-thy/rec-thy.pdf
trunk/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex
trunk/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty
Modified: trunk/Master/texmf-dist/doc/latex/rec-thy/README
===================================================================
--- trunk/Master/texmf-dist/doc/latex/rec-thy/README 2018-02-16 00:08:56 UTC (rev 46649)
+++ trunk/Master/texmf-dist/doc/latex/rec-thy/README 2018-02-16 00:09:09 UTC (rev 46650)
@@ -25,4 +25,6 @@
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
\ No newline at end of file
+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
Modified: trunk/Master/texmf-dist/doc/latex/rec-thy/rec-thy.pdf
===================================================================
(Binary files differ)
Modified: trunk/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex
===================================================================
--- trunk/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex 2018-02-16 00:08:56 UTC (rev 46649)
+++ trunk/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex 2018-02-16 00:09:09 UTC (rev 46650)
@@ -15,12 +15,13 @@
% \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{%
@@ -83,7 +84,7 @@
\title{The rec-thy Package}
\author{Peter M. Gerdes (gerdes at invariant.org)}
-\date{\today: Version 2.3}
+\date{\today: Version 2.4}
\begin{document}
@@ -97,6 +98,8 @@
\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.
@@ -114,14 +117,40 @@
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
-\( \mathfrak{u} \)
+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 \) & Truepath. \\ \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=\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 \). \\ \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} \\
+
+
\subsection{Computations}
-To disable these commands pass the option \verb=nocomputations=. \\
+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=\recfnl{e}{Y}{x}= & \( \recfnl{e}{Y}{x} \) &\multirow{4}{*}{Computable functions/functionals} \\[6pt]
+ \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{e}[Y]= & \( \recf{e}[Y] \) & \\[6pt]
+ \verb=\recf[s]{e}[Y]= & \( \recf[s]{e}[Y] \) & \\[6pt]
+ \verb=\recf{e}[Y](x)= & \( \recf[s]{e}[Y](x) \) & \\[6pt]
+ \verb=\recf[s]{e}[Y](x)= & \( \recf[s]{e}[Y](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]
@@ -146,6 +175,7 @@
\bottomrule
\end{xtabular} \\
+
\subsection{Degrees}
To disable these commands pass the option \verb=nodegrees=. \\
@@ -266,6 +296,8 @@
\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
@@ -280,9 +312,8 @@
\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=\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 \\ \midrule
\verb=\interior X= & \( \interior X \) & Interior \\ \midrule
\verb=\closure X= & \( \closure X \) & Closure \\ \midrule
@@ -350,7 +381,7 @@
\bottomrule
\end{tabular}
\subsection{Spaces}
-To disable these commands pass the option \verb=nospaces=.\\
+To disable these commands pass the option \verb=nospaces=.\\
\begin{tabular}{l | l | l}\toprule
\verb=\bstrs= & \( \bstrs \) & Finite binary strings \\ \midrule
@@ -364,6 +395,8 @@
\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
@@ -473,7 +506,7 @@
\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=, \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.
+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
@@ -583,6 +616,8 @@
\section{Release Notes}
\begin{itemize}
+ \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.
Modified: trunk/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty
===================================================================
--- trunk/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty 2018-02-16 00:08:56 UTC (rev 46649)
+++ trunk/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty 2018-02-16 00:09:09 UTC (rev 46650)
@@ -3,8 +3,13 @@
\makeatletter
% \newcommand*{\@curpack}{\@currname} %rec-thy.sty
\newcommand*{\@packinfo}[1]{\PackageInfo{rec-thy}{#1}}
-\newcommand*{\recthy at 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 at arg
+\newcommand*{\recthy at 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 at arg
% \ProvidesPackage{\@curpack} %file name is package name
% Release Notes
@@ -17,6 +22,11 @@
\RequirePackage{ifmtarg}
\RequirePackage{xifthen}
\RequirePackage{xkeyval}
+\RequirePackage{etoolbox}
+\robustify\(
+\robustify\)
+\RequirePackage{xparse}
+\RequirePackage{ifxetex}
\AtBeginDocument{
\ltx at ifpackageloaded{amsmath}{}{\RequirePackage{amsmath}}
\ltx at ifpackageloaded{amssymb}{}{\RequirePackage{amssymb}}
@@ -26,10 +36,17 @@
\ltx at 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
@@ -45,7 +62,7 @@
% % \newcommand*{\matheu}{\EuScript}
% \ifpdf
-% \RequirePackage{cmap} % you can search in the pdf for umlauts and ligatures
+% \RequirePackage{cmap} % you can search in the pdf for umlauts and ligatures
% \fi
% \fi
% \RequirePackage{stmaryrd}
@@ -57,31 +74,32 @@
%Define boolean options true if option passed false otherwise
-\newif\ifrecthy at nohyphenation \recthy at nohyphenationfalse
-\newif\ifrecthy at mrref \recthy at mrreffalse
-\newif\ifrecthy at nomath \recthy at nomathfalse
-\newif\ifrecthy at nodelim \recthy at nodelimfalse
+\newif\ifrecthy at nohyphenation \recthy at nohyphenationfalse
+\newif\ifrecthy at mrref \recthy at mrreffalse
+\newif\ifrecthy at nomath \recthy at nomathfalse
+\newif\ifrecthy at nodelim \recthy at nodelimfalse
\newif\ifrecthy at nonames
\recthy at nonamesfalse
\newif\ifrecthy at nosets
\recthy at nosetsfalse
\newif\ifrecthy at noquants\recthy at noquantsfalse
-\newif\ifrecthy at nospaces \recthy at nospacesfalse
-\newif\ifrecthy at nostrings \recthy at nostringsfalse
-\newif\ifrecthy at notrees \recthy at notreesfalse
-\newif\ifrecthy at nopair \recthy at nopairfalse
-\newif\ifrecthy at nonames \recthy at nonamesfalse
-\newif\ifrecthy at nosetrels \recthy at nosetrelsfalse
-\newif\ifrecthy at noordinalnotations \recthy at noordinalnotationsfalse
-\newif\ifrecthy at nosyntax \recthy at nosyntaxfalse
-\newif\ifrecthy at nodegclasses \recthy at nodegclassesfalse
-\newif\ifrecthy at noforcing \recthy at noforcingfalse
-\newif\ifrecthy at nodegrees \recthy at nodegreesfalse
-\newif\ifrecthy at nocomputations \recthy at nocomputationsfalse
+\newif\ifrecthy at nospaces \recthy at nospacesfalse
+\newif\ifrecthy at nostrings \recthy at nostringsfalse
+\newif\ifrecthy at notrees \recthy at notreesfalse
+\newif\ifrecthy at nopair \recthy at nopairfalse
+\newif\ifrecthy at nonames \recthy at nonamesfalse
+\newif\ifrecthy at nosetrels \recthy at nosetrelsfalse
+\newif\ifrecthy at noordinalnotations \recthy at noordinalnotationsfalse
+\newif\ifrecthy at nosyntax \recthy at nosyntaxfalse
+\newif\ifrecthy at nodegclasses \recthy at nodegclassesfalse
+\newif\ifrecthy at noforcing \recthy at noforcingfalse
+\newif\ifrecthy at nodegrees \recthy at nodegreesfalse
+\newif\ifrecthy at nocomputations \recthy at nocomputationsfalse
\newif\ifrecthy at nostructresets \recthy at nostructresetsfalse
\newif\ifrecthy at noreqhelper \recthy at noreqhelperfalse
\newif\ifrecthy at nosubfun \recthy at nosubfunfalse
\newif\ifrecthy at nopfcases \recthy at nopfcasesfalse
+\newif\ifrecthy at noprioritytrees \recthy at noprioritytreesfalse
\newif\ifrecthy at hyperreqs \recthy at hyperreqstrue
\DeclareOptionX{nohyphenation}{\recthy at nohyphenationtrue}
@@ -106,194 +124,204 @@
\DeclareOptionX{noreqhelper}{\recthy at noreqhelpertrue}
\DeclareOptionX{nosubfun}{\recthy at nosubfuntrue}
\DeclareOptionX{nopfcases}{\recthy at nopfcasestrue}
+\DeclareOptionX{noprioritytrees}{\recthy at noprioritytreestrue}
\DeclareOptionX{nohyperreqs}{\recthy at hyperreqsfalse}
\DeclareOptionX{degjoin}{\def\Tjoin{\Tdegjoin}}
+
+\AtEndOfPackage{
+ \ifrecthy at 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{\ball}[3][]{{\ifdefined\symbf
+ \symbf{\alpha}
+ \else
+ \alpha
+ \fi}^{#1}(#2, #3)}
+ \providecommand*{\Astages}[1]{\mathcal{S}_{\text{act}}^{#1}}
+ \providecommand*{\Vstages}[1]{\mathcal{S}^{#1}}
+ \providecommand{\reqof}[2][]{\mathbb{r}(#2)}
+ \fi
+}
+
\let\pmg at casefont=\textsc
-\DeclareOptionX{pfcasefont}[textsc]{\edef\pmg at casefont{\expandafter\noexpand\csname #1 \endcsname}}
+\DeclareOptionX{pfcasefont}{\edef\pmg at casefont{\expandafter\noexpand\csname #1 \endcsname}}
\AtEndOfPackage{
- \ifrecthy at nopfcases
- \@packinfo{Not loading Proof Cases Helper}
- \else
- \@packinfo{Loading Proof Cases Helper.}
- \RequirePackage{enumitem}
- \ltx at ifpackageloaded{cleveref}{
- % \crefname{pfcasesnonumi}{case}{cases}
- % \Crefname{pfcasesnonumi}{Case}{Cases}
- \crefformat{pfcasesnonumi}{#2case~#1#3}
- \Crefformat{pfcasesnonumi}{#2Case~#1#3}
- % \crefname{pfcasesnonumii}{case}{cases}
- % \Crefname{pfcasesnonumii}{Case}{Cases}
- \crefformat{pfcasesnonumii}{#2subcase~#1#3}
- \Crefformat{pfcasesnonumii}{#2Subcase~#1#3}
- % \crefname{pfcasesnonumiii}{case}{cases}
- % \Crefname{pfcasesnonumiii}{Case}{Cases}
- \crefformat{pfcasesnonumiii}{#2subsubcase~#1#3}
- \Crefformat{pfcasesnonumiii}{#2Subsubcase~#1#3}
- % \crefname{pfcasesnumberedi}{case}{cases}
- % \Crefname{pfcasesnumberedi}{Case}{Cases}
- \crefformat{pfcasesnumberedi}{#2case~#1#3}
- \Crefformat{pfcasesnumberedi}{#2Case~#1#3}
- % \crefname{pfcasesnumberedii}{case}{cases}
- % \Crefname{pfcasesnumberedii}{Case}{Cases}
- \crefformat{pfcasesnumberedii}{#2case~#1#3}
- \Crefformat{pfcasesnumberedii}{#2Case~#1#3}
- % \crefname{pfcasesnumberediii}{case}{cases}
- % \Crefname{pfcasesnumberediii}{Case}{Cases}
- \crefformat{pfcasesnumberediii}{#2case~#1#3}
- \Crefformat{pfcasesnumberediii}{#2Case~#1#3}
- }{}
- \newlist{pfcasesnonum}{enumerate}{3}
- \setlist[pfcasesnonum]{
- label={\pmg at casefont{Case}}\protect\thiscase:~,
- align=left,
- labelsep=!,
- itemindent=-1em,
- leftmargin=2em,
- labelindent=0pt,
- labelwidth=0pt
- }
- \setlist[pfcasesnonum,1]{
- before=\def\pfcasecounter at pmg{pfcasesnonumi},
- }
- \setlist[pfcasesnonum,2]{
- before=\def\pfcasecounter at pmg{pfcasesnonumii},
- }
- \setlist[pfcasesnonum,3]{
- before=\def\pfcasecounter at 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 at pmg{pfcasesnumberedi},
- label={{\pmg at casefont{Case}}~\arabic*\protect\thiscase:~},
- ref={\arabic*},
- }
- \setlist[pfcasesnumbered,2]{
- before=\def\pfcasecounter at pmg{pfcasesnumberedii},
- label={{\pmg at casefont{Case}}~\arabic{pfcasesnumberedi}\alph*:\protect\thiscase.~},
- ref={\arabic{pfcasesnumberedi}\alph*},
- }
- \setlist[pfcasesnumbered,3]{
- before=\def\pfcasecounter at pmg{pfcasesnumberediii},
- label={{\pmg at casefont{Case}}~\arabic{pfcasesnumberedi}\alph{pfcasesnumberedii}.\roman*:\protect\thiscase.~},
- ref={\arabic{pfcasesnumberedi}\alph{pfcasesnumberedii}.\roman*},
- }
- \newenvironment{pfcases*}{
- \providecommand{\case}[1][]{%
- \if\relax\detokenize{##1}\relax
- \def\thiscase{}%
- \else
- \def\thiscase{~##1}%
- \fi
- \item \ltx at ifpackageloaded{cleveref}{%
- \cref at constructprefix{pfcases}{\cref at result}%
- \protected at xdef\cref at currentlabel{[\pfcasecounter at pmg][][\cref at result]##1}}{} \protected at edef\@currentlabel{##1}%
- }
- \begin{pfcasesnonum}
- }
- {\end{pfcasesnonum}}
+ \ifrecthy at nopfcases
+ \@packinfo{Not loading Proof Cases Helper}
+ \else
+ \@packinfo{Loading Proof Cases Helper.}
+ \RequirePackage{enumitem}
+ \ltx at 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 at casefont{Case}}\protect\thiscase:~,
+ align=left,
+ labelsep=!,
+ itemindent=-1em,
+ leftmargin=2em,
+ labelindent=0pt,
+ labelwidth=0pt
+ }
+ \setlist[pfcasesnonum,1]{
+ before=\def\pfcasecounter at pmg{pfcasesnonumi},
+ }
+ \setlist[pfcasesnonum,2]{
+ before=\def\pfcasecounter at pmg{pfcasesnonumii},
+ }
+ \setlist[pfcasesnonum,3]{
+ before=\def\pfcasecounter at 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 at pmg{pfcasesnumberedi},
+ label={{\pmg at casefont{Case}}~\arabic*\protect\thiscase:~},
+ ref={\arabic*},
+ }
+ \setlist[pfcasesnumbered,2]{
+ before=\def\pfcasecounter at pmg{pfcasesnumberedii},
+ label={{\pmg at casefont{Case}}~\arabic{pfcasesnumberedi}\alph*:\protect\thiscase.~},
+ ref={\arabic{pfcasesnumberedi}\alph*},
+ }
+ \setlist[pfcasesnumbered,3]{
+ before=\def\pfcasecounter at pmg{pfcasesnumberediii},
+ label={{\pmg at 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 at ifpackageloaded{cleveref}{%
+ \cref at constructprefix{pfcases}{\cref at result}%
+ \protected at xdef\cref at currentlabel{[\pfcasecounter at pmg][][\cref at result]##1}}{} \protected at edef\@currentlabel{##1}%
+ }
+ \begin{pfcasesnonum}
+ }
+ {\end{pfcasesnonum}}
- \newenvironment{pfcases}{
- \providecommand{\case}[1][]{%
- \if\relax\detokenize{##1}\relax
- \def\thiscase{}%
- \else
- \def\thiscase{~##1}%
- \fi
- \item \ltx at ifpackageloaded{cleveref}{%
- \cref at constructprefix{\pfcasecounter at pmg}{\cref at result}
- \protected at xdef\cref at currentlabel{[\pfcasecounter at pmg][][\cref at result] \csname the\pfcasecounter at pmg \endcsname}}{}%
- }
- \begin{pfcasesnumbered}}{\end{pfcasesnumbered}}
- \fi
+ \newenvironment{pfcases}{
+ \ProvideDocumentCommand{\case}{o}{
+ \IfNoValueTF{##1}{
+ \def\thiscase{}%
+ }{
+ \def\thiscase{~##1}%
+ }
+ \item \ltx at ifpackageloaded{cleveref}{%
+ \cref at constructprefix{\pfcasecounter at pmg}{\cref at result}
+ \protected at xdef\cref at currentlabel{[\pfcasecounter at pmg][][\cref at result] \csname the\pfcasecounter at pmg \endcsname}}{}%
+ }
+ \begin{pfcasesnumbered}}{\end{pfcasesnumbered}}
+ \fi
}
\AtEndOfPackage{
\ifrecthy at nosubfun
- \@packinfo{Not loading subfun defs.}
+ \@packinfo{Not loading subfun defs.}
\else
- \@packinfo{Loading subfun defs.}
- %DOCUMENT ME
- \newcommand*{\subfun}[1][]{\prec\ifthenelse{\isempty{#1}}{_{#1}}{}}
- \newcommand*{\supfun}[1][]{\succ\ifthenelse{\isempty{#1}}{_{#1}}{}}
- \newcommand*{\nsubfun}[1][]{\nprec\ifthenelse{\isempty{#1}}{_{#1}}{}}
- \newcommand*{\nsupfun}[1][]{\nsucc\ifthenelse{\isempty{#1}}{_{#1}}{}}
- \newcommand*{\subfuneq}[1][]{\preceq\ifthenelse{\isempty{#1}}{_{#1}}{}}
- \newcommand*{\supfuneq}[1][]{\succeq\ifthenelse{\isempty{#1}}{_{#1}}{}}
- \newcommand*{\nsubfuneq}[1][]{\npreceq\ifthenelse{\isempty{#1}}{_{#1}}{}}
- \newcommand*{\nsupfuneq}[1][]{\nsucceq\ifthenelse{\isempty{#1}}{_{#1}}{}}
- \newcommand*{\subfunneq}[1][]{\precneq\ifthenelse{\isempty{#1}}{_{#1}}{}}
- \newcommand*{\supfunneq}[1][]{\succneq\ifthenelse{\isempty{#1}}{_{#1}}{}}
+ \@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
}
-\newcommand*{\@recthy at reqscr}[1]{\mathscr{#1}}
-% \DeclareOptionX{reqscr}{\newcommand{\@recthy at reqscr}[1]{#1{##1}}}
+% \newcommand*{\@recthy at reqscr}[1]{\mathscr{#1}}
+\let\@recthy at reqscr=\mathscr
+\DeclareOptionX{reqscr}{\edef\@recthy at reqscr{\expandafter\noexpand\csname #1 \endcsname}}
\AtEndOfPackage{
\ifrecthy at noreqhelper
- \@packinfo{Not loading requirement assist.}
+ \@packinfo{Not loading requirement assist.}
\else
- \@packinfo{Loading requirement assist.}
- \newcommand*{\req at orig}[3][]{\ensuremath{\ifthenelse{\isempty{#1}}{\@recthy at reqscr{#2}_{#3}}{\@recthy at reqscr{#2}^{#1}_{#3}}}}
- \ifrecthy at hyperreqs
- \newcommand*{\req}[3][]{
- \@ifundefined{hyperref}{
- \req at orig[#1]{#2}{#3}
- }{
- \hyperref[\detokenize{req:#2@#1}]{\req at orig[#1]{#2}{#3}}
- }}
- \else
- \let\req=\req at orig
- \fi
- \WithSuffix\def\req*{\req at orig}
- % \newsavebox{\@recthy at reqbox}
- % \def\defreq#1#2\par{
- % \begin{equation}\let\veqno\@@leqno%
- % \tag*{#1}%
- % \begin{lrbox}{\@recthy at reqbox}%
+ \@packinfo{Loading requirement assist.}
+ \newcommand*{\req at orig}[3][]{\ensuremath{\ifthenelse{\isempty{#1}}{\@recthy at reqscr{#2}_{#3}}{\@recthy at reqscr{#2}^{#1}_{#3}}}}
+ \ifrecthy at hyperreqs
+ \newcommand*{\req}[3][]{
+ \@ifundefined{hyperref}{
+ \req at orig[#1]{#2}{#3}
+ }{
+ \hyperref[\detokenize{req:#2@#1}]{\req at orig[#1]{#2}{#3}}
+ }}
+ \else
+ \let\req=\req at orig
+ \fi
+ \WithSuffix\def\req*{\req at orig}
+ % \newsavebox{\@recthy at reqbox}
+ % \def\defreq#1#2\par{
+ % \begin{equation}\let\veqno\@@leqno%
+ % \tag*{#1}%
+ % \begin{lrbox}{\@recthy at reqbox}%
% \begin{minipage}{\textwidth}#2\end{minipage}%
% \end{lrbox}%
% \makebox[0pt]{\usebox{\@recthy at reqbox}}%
- % \end{equation}}
- \newtagform{colon}{}{:}
- \newenvironment{requirement}[1]{
- \let\@origif at fleqn@pmg=\if at fleqn
- \let\@origiftagsleft at pmg=\iftagsleft@
- \@fleqntrue
- \setlength\@mathmargin{1.5cm}
- \tagsleft at true
- \usetagform{colon}
- % \let\maketag@@@orig at pmg=\maketag@@@
- % \def\maketag@@@#1{\hbox{\m at th\normalfont#1:}}
- \begin{equation}\tag{#1}
- }{
- \end{equation}
- \let\if at fleqn=\@origif at fleqn@pmg
- \let\iftagsleft@=\@origiftagsleft at pmg
- \usetagform{default}
- % \let\maketag@@@=\maketag@@@orig at pmg
- }
+ % \end{equation}}
+ \newtagform{colon}{}{:}
+ \newenvironment{requirement}[1]{
+ \let\@origif at fleqn@pmg=\if at fleqn
+ \let\@origiftagsleft at pmg=\iftagsleft@
+ \@fleqntrue
+ \setlength\@mathmargin{1.5cm}
+ \tagsleft at true
+ \usetagform{colon}
+ % \let\maketag@@@orig at pmg=\maketag@@@
+ % \def\maketag@@@#1{\hbox{\m at th\normalfont#1:}}
+ \begin{equation}\tag{#1}
+ }{
+ \end{equation}
+ \let\if at fleqn=\@origif at fleqn@pmg
+ \let\iftagsleft@=\@origiftagsleft at pmg
+ \usetagform{default}
+ % \let\maketag@@@=\maketag@@@orig at pmg
+ }
- \newenvironment{require}[3][]{
- \begin{requirement}{\req*[#1]{#2}{#3}} \label{\detokenize{req:#2@#1}}
- }{
- \end{requirement}
- }
- \newcommand*{\refreq}[2][]{\ref{\detokenize{req:#2@#1}}}
+ \newenvironment{require}[3][]{
+ \begin{requirement}{\req*[#1]{#2}{#3}} \label{\detokenize{req:#2@#1}}
+ }{
+ \end{requirement}
+ }
+ \newcommand*{\refreq}[2][]{\ref{\detokenize{req:#2@#1}}}
\fi
}
@@ -302,10 +330,11 @@
\AtEndOfPackage{
\ifrecthy at nostructresets
- \@packinfo{Not loading r.e. set structs w/ containment.}
+ \@packinfo{Not loading r.e. set structs w/ containment.}
\else
- \@packinfo{Loading r.e. set structs w/ containment.}
-\newcommand*{\promptdif}{\setminus_{\downarrow}}
+ \@packinfo{Loading r.e. set structs w/ containment.}
+\let\@orig at setminus=\setminus
+\newcommand*{\promptdif}{\@orig at setminus_{\downarrow}}
\let\setbefore=\promptdif
\let\promptminus=\promptdif
\let\promptsetminus=\promptdif
@@ -327,7 +356,7 @@
\AtEndOfPackage{
\ifrecthy at nohyphenation
- \@packinfo{No hyphenation loading.}
+ \@packinfo{No hyphenation loading.}
\else
\hyphenation{ra-tion-als ra-tion-al Harrington Slaman Cholak Knight Gerdes Lange}
\fi
@@ -336,20 +365,20 @@
\AtEndOfPackage{
\ifrecthy at mrref
- \@packinfo{MRref helper loading}
- \RequirePackage{hyperref}
- \def\recthy at checkMR MR#1#2#3 #4\relax%
- {\ifx#1M%
- \ifx#2R\recthy at MR{#3}\else\recthy at MR{#1#2#3}\fi
- \else
- \recthy at MR{#1#2#3}%
- \fi}
- \def\MR#1{\recthy at checkMR MR#1 \relax}
- \newcommand{\recthy at MR}[1]{\recthy at MRhref{#1}{MR #1}}
- % % \MRhref is called by the amsart/book/proc definition of \MR.
- \newcommand{\recthy at MRhref}[2]{\href{http://www.ams.org/mathscinet-getitem?mr=#1}{#2}}
+ \@packinfo{MRref helper loading}
+ \RequirePackage{hyperref}
+ \def\recthy at checkMR MR#1#2#3 #4\relax%
+ {\ifx#1M%
+ \ifx#2R\recthy at MR{#3}\else\recthy at MR{#1#2#3}\fi
+ \else
+ \recthy at MR{#1#2#3}%
+ \fi}
+ \def\MR#1{\recthy at checkMR MR#1 \relax}
+ \newcommand{\recthy at MR}[1]{\recthy at MRhref{#1}{MR #1}}
+ % % \MRhref is called by the amsart/book/proc definition of \MR.
+ \newcommand{\recthy at MRhref}[2]{\href{http://www.ams.org/mathscinet-getitem?mr=#1}{#2}}
\else
- \@packinfo{MRref helper not loading}
+ \@packinfo{MRref helper not loading}
\fi
}
@@ -357,31 +386,49 @@
\newcommand*{\@recthy at ensuretext}[1]{\ensuremath{\text{#1}}}
\AtEndOfPackage{
\ifrecthy at nomath
- \@packinfo{No math loading.}
+ \@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}
+ \@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
- \newcommand*{\meet}{\mathbin{\wedge}}
- \newcommand*{\join}{\mathbin{\vee}}
- \newcommand*{\Meet}{\mathop{\bigwedge}}
- \let\MnJoin=\Join
- \renewcommand*{\Join}{\mathop{\bigvee}}
- \recthy at 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 at strip{ensuretext}
+ \providecommand*{\meet}{\mathbin{\wedge}}
+ \providecommand*{\join}{\mathbin{\vee}}
+ \providecommand*{\Meet}{\mathop{\bigwedge}}
+ \let\MnJoin=\Join
+ \renewcommand*{\Join}{\mathop{\bigvee}}
+ \recthy at 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 at strip{ensuretext}
\fi
}
@@ -395,15 +442,15 @@
\newdimen\@recthy at gnArgHgt
\newcommand{\@recthy at godelnum}[1]{%
- \setbox\@recthy at gnBoxA=\hbox{$#1$}%
- \@recthy at gnArgHgt=\ht\@recthy at gnBoxA%
- \ifnum \@recthy at gnArgHgt<\@recthy at gnCornerHgt
- \@recthy at gnArgHgt=0pt%
- \else
- \advance \@recthy at gnArgHgt by -\@recthy at gnCornerHgt%
- \fi
- \raise\@recthy at gnArgHgt\hbox{$\ulcorner$} \box\@recthy at gnBoxA %
- \raise\@recthy at gnArgHgt\hbox{$\urcorner$}}
+ \setbox\@recthy at gnBoxA=\hbox{$#1$}%
+ \@recthy at gnArgHgt=\ht\@recthy at gnBoxA%
+ \ifnum \@recthy at gnArgHgt<\@recthy at gnCornerHgt
+ \@recthy at gnArgHgt=0pt%
+ \else
+ \advance \@recthy at gnArgHgt by -\@recthy at gnCornerHgt%
+ \fi
+ \raise\@recthy at gnArgHgt\hbox{$\ulcorner$} \box\@recthy at gnBoxA %
+ \raise\@recthy at gnArgHgt\hbox{$\urcorner$}}
@@ -414,13 +461,13 @@
\AtEndOfPackage{
\ifrecthy at nodelim
- \@packinfo{No delimiters loading.}
+ \@packinfo{No delimiters loading.}
\else
- \newcommand*{\godelnum}[1]{\@recthy at godelnum{#1}}
- \let\cornerquote=\godelnum
- \let\gcode=\godelnum
- \recthy at strip{llangle}
- \recthy at strip{rrangle}
+ \newcommand*{\godelnum}[1]{\@recthy at godelnum{#1}}
+ \let\cornerquote=\godelnum
+ \let\gcode=\godelnum
+ \recthy at strip{llangle}
+ \recthy at strip{rrangle}
\fi
}
@@ -441,53 +488,58 @@
\AtEndOfPackage{
\ifrecthy at nonames
- \@packinfo{No names loading.}
+ \@packinfo{No names loading.}
\else
- \@packinfo{Names loading.}
- \recthy at strip{re}
- \recthy at strip{ce}
- \recthy at strip{REA}
- \recthy at strip{CEA}
- \recthy at strip{recursive}
- \recthy at strip{computable}
- \recthy at strip{recursivelyEnumerable}
- \recthy at strip{computablyEnumerable}
- \recthy at strip{Recursive}
- \recthy at strip{Computable}
- \recthy at strip{RecursivelyEnumerable}
- \recthy at strip{ComputablyEnumerable}
+ \@packinfo{Names loading.}
+ \recthy at strip{re}
+ \recthy at strip{ce}
+ \recthy at strip{REA}
+ \recthy at strip{CEA}
+ \recthy at strip{recursive}
+ \recthy at strip{computable}
+ \recthy at strip{recursivelyEnumerable}
+ \recthy at strip{computablyEnumerable}
+ \recthy at strip{Recursive}
+ \recthy at strip{Computable}
+ \recthy at strip{RecursivelyEnumerable}
+ \recthy at strip{ComputablyEnumerable}
\fi
}
\DeclareOptionX{reterms}{%
- \let\@recthy at ce=\@recthy at re
- \let\@recthy at computable=\@recthy at recursive
- \let\@recthy at computablyEnumerable=\@recthy at recursivelyEnumerable
- \let\@recthy at ComputablyEnumerable=\@recthy at RecursivelyEnumerable
- } %Make all references to ce change to re
+ \let\@recthy at ce=\@recthy at re
+ \let\@recthy at computable=\@recthy at recursive
+ \let\@recthy at computablyEnumerable=\@recthy at recursivelyEnumerable
+ \let\@recthy at ComputablyEnumerable=\@recthy at RecursivelyEnumerable
+ } %Make all references to ce change to re
- \DeclareOptionX{reaterms}{%
- \let\@recthy at CEA=\@recthy at REA
- }
+ \DeclareOptionX{reaterms}{%
+ \let\@recthy at CEA=\@recthy at REA
+ }
\DeclareOptionX{ceterms}{%
- \let\@recthy at re=\@recthy at ce
- \let\@recthy at recursive=\@recthy at computable
- \let\@recthy at recursivelyEnumerable=\@recthy at computablyEnumerable
- \let\@recthy at RecursivelyEnumerable=\@recthy at ComputablyEnumerable
- } %Make all references to re change to ce
+ \let\@recthy at re=\@recthy at ce
+ \let\@recthy at recursive=\@recthy at computable
+ \let\@recthy at recursivelyEnumerable=\@recthy at computablyEnumerable
+ \let\@recthy at RecursivelyEnumerable=\@recthy at ComputablyEnumerable
+ } %Make all references to re change to ce
\DeclareOptionX{ceaterms}{%
- \let\@recthy at REA=\@recthy at CEA
- }
+ \let\@recthy at REA=\@recthy at CEA
+ }
% Set stuff
-\def\@recthy at set#1{\def\@set at argi@pmg{#1}\@ifnextchar\bgroup\@setst at pmg\@setplain at pmg}
-\newcommand*{\@setst at pmg}[1]{\ifthenelse{\isempty{#1}}{\@setplain at pmg}{\left \{ \@set at argi@pmg \middle | #1\right \}}}
-\newcommand*{\@setplain at pmg}{\left \{ \@set at argi@pmg \right \}}
+
+\NewDocumentCommand{\@recthy at set}{oG{}}{\left \{ #1 \ifthenelse{\isempty{#2}}{}{\middle | #2} \right \}}
+
+% \def\@recthy at set#1{\def\@set at argi@pmg{#1}\@ifnextchar\bgroup\@setst at pmg\@setplain at pmg}
+% \newcommand*{\@setst at pmg}[1]{\ifthenelse{\isempty{#1}}{\@setplain at pmg}{\left \{ \@set at argi@pmg \middle | #1\right \}}}
+% \newcommand*{\@setplain at pmg}{\left \{ \@set at argi@pmg \right \}}
% \newcommand*{\@recthy at set}[2]{\ifthenelse{\isempty{#2}}{\left \{ #1 \right \}}{\left \{ #1 \middle | #2\right \}} }
+% \DeclareOptionX{setminussym}[@recthy at defaultsetminusSYM]{\edef\@recthy at setminusSYM{\expandafter\noexpand\csname #1 \endcsname}}
+
\newcommand*{\@recthy at card}[1]{\lvert#1\rvert}
\newcommand*{\@recthy at union}{\mathbin{\cup}}
\newcommand*{\@recthy at Union}{\mathop{\bigcup}}
@@ -496,170 +548,172 @@
\newcommand*{\@recthy at nin}{\notin}
\newcommand*{\@recthy at powset}[1]{\mathcal{P}\left(#1\right)}
\newcommand*{\@recthy at eset}{\emptyset}
-\newcommand*{\@recthy at setcmpminusSYM}{\backsim}
-\newcommand*{\@recthy at setminuscmp}[1]{\mathop{\@recthy at setcmpminusSYM} #1}
+% \newcommand*{\@recthy at setcmpminusSYM}{\backsim}
+% \newcommand*{\@recthy at setminuscmp}[1]{\mathop{\@recthy at setcmpminusSYM} #1}
\newcommand*{\@recthy at setovercmp}[1]{\overline{#1}}
\let\@recthy at setcmp=\@recthy at setovercmp
-\def\@recthy at setminusSYM{-}
+\def\@recthy at setdiffSYM{-}
+\newcommand*{\@recthy at setdiff}{\mathbin{\@recthy at setdiffSYM}}
+\DeclareOptionX{setdiffsym}{\edef\@recthy at setdiffSYM{\expandafter\noexpand\csname #1 \endcsname}}
-\DeclareOptionX{setminussym}{\def\@recthy at setminusSYM{#1}}
-\DeclareOptionX{setcmpminussym}{\def\@recthy at setminusSYM{#1}}
-\DeclareOptionX{minussetcmp}{\let\@recthy at setcmp=\@recthy at setminuscmp}
-\newcommand*{\@recthy at setminus}{\mathbin{\@recthy at setminusSYM}}
+
\AtEndOfPackage{
\WithSuffix\def\@recthy at setcmp[#1]#2{#1\@recthy at setminus#2}
\ifrecthy at nosets
- \@packinfo{No set cmds loading.}
+ \@packinfo{No set cmds loading.}
\else
- \@packinfo{Set cmds loading.}
- \recthy at strip{set}
- \recthy at strip{card}
- \recthy at strip{union}
- \recthy at strip{Union}
- \recthy at strip{isect}
- \recthy at strip{Isect}
- \recthy at strip{powset}
- \recthy at strip{eset}
- \recthy at strip{nin}
- \recthy at strip{setcmp}
- \recthy at strip{setovercmp}
- \recthy at strip{setminuscmp}
- \recthy at 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}
+ \@packinfo{Set cmds loading.}
+ \recthy at strip{set}
+ \recthy at strip{card}
+ \recthy at strip{union}
+ \recthy at strip{Union}
+ \recthy at strip{isect}
+ \recthy at strip{Isect}
+ \recthy at strip{powset}
+ \recthy at strip{eset}
+ \recthy at strip{nin}
+ \recthy at strip{setcmp}
+ % \recthy at strip{setovercmp}
+ % \recthy at strip{setminuscmp}
+ \recthy at 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{\closure}{cl}
+ \fi
\fi
}
\AtEndOfPackage{
\ifrecthy at noquants
- \@packinfo{No quants loading.}
+ \@packinfo{No quants loading.}
\else
- \@packinfo{Quants loading.}
- \newcommand*{\existsuniq}{\exists !}
- \newcommand*{\nexistsuniq}{\nexists !}
- \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]\!}
+ \@packinfo{Quants loading.}
+ \newcommand*{\existsuniq}{\exists !}
+ \newcommand*{\nexistsuniq}{\nexists !}
+ \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^{*}}
- \WithSuffix\def\forallae(#1){\left(\forallae\, #1\right)\!}
- \WithSuffix\def\forallae[#1]{\left[\forallae\, #1\right]\!}
+ \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]\!}
+ \providecommand*{\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]\!}
+ \providecommand*{\nexistsinf}{\nexists^{\infty}}
+ \WithSuffix\def\nexistsinf(#1){\left(\nexistsinf\, #1\right)\!}
+ \WithSuffix\def\nexistsinf[#1]{\left[\nexistsinf\, #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\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}
- \WithSuffix\def\exists!{\existsuniq}
+ \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}
+ \WithSuffix\def\exists!{\existsuniq}
- \newcommand*{\True}{\top}
- \newcommand*{\False}{\bot}
+ \providecommand*{\True}{\top}
+ \providecommand*{\False}{\bot}
- \newcommand*{\Land}{\mathop{\bigwedge}}
- \newcommand*{\Lor}{\mathop{\bigvee}}
- \newcommand*{\LLand}{\mathop{\bigwedge\mkern-15mu\bigwedge}}
- \newcommand*{\LLor}{\mathop{\bigvee\mkern-15mu\bigvee}}
+ \providecommand*{\Land}{\mathop{\bigwedge}}
+ \providecommand*{\Lor}{\mathop{\bigvee}}
+ \providecommand*{\LLand}{\mathop{\bigwedge\mkern-15mu\bigwedge}}
+ \providecommand*{\LLor}{\mathop{\bigvee\mkern-15mu\bigvee}}
- \newcommand*{\liff}{\ensuremath{\leftrightarrow}}
- \newcommand*{\limplies}{\ensuremath{\rightarrow}}
+ \providecommand*{\liff}{\ensuremath{\leftrightarrow}}
+ \providecommand*{\limplies}{\ensuremath{\rightarrow}}
\fi
}
\AtEndOfPackage{
\ifrecthy at nospaces
- \@packinfo{No spaces loading.}
+ \@packinfo{No spaces loading.}
\else
- \@packinfo{Spaces loading.}
+ \@packinfo{Spaces loading.}
- \newcommand*{\bstrs}{2^{<\omega}}
- \newcommand*{\wstrs}{\omega^{<\omega}}
+ \providecommand*{\bstrs}{2^{<\omega}}
+ \providecommand*{\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}}
+ \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
}
-% \newcommand*{\recfnlSYM}{\Phi}
-%
-% \DeclareOptionX{recfn}{\def\recfnlSYM{#1}}
+%Strings
+\def\@recthy at concatSYM{\widehat{\;}}
+\def\@recthy at EmptyStr{\mathopen{\@recthy at llangle}\mathclose{\@recthy at rrangle}}
-%Strings
+\DeclareOptionX{emptystr}{\edef\@recthy at EmptyStr{\expandafter\noexpand\csname #1 \endcsname}}
+\DeclareOptionX{concatsym}{\edef\@recthy at concatSYM{\expandafter\noexpand\csname #1 \endcsname}}
-\newcommand*{\@recthy at EmptyStr}{\lambda}
-\newcommand*{\@recthy at concatSYM}{\hat{\;}}
-% \DeclareOptionX<\@recthy at family>{emptystr}[]{\def\@recthy at EmptyStr{#1}}
-% \DeclareOptionX<\@recthy at family>{concat}[]{\def\@recthy at concatSYM{#1}}
-\DeclareOptionX{emptystr}{\def\@recthy at EmptyStr{#1}}
-\DeclareOptionX{concat}{\def\@recthy at concatSYM{#1}}
\AtEndOfPackage{
\ifrecthy at nostrings
- \@packinfo{No strings loading.}
+ \@packinfo{No strings loading.}
\else
- \@packinfo{Strings loading.}
+ \@packinfo{Strings loading.}
\newcommand*{\closedn}[1]{{#1}^\blacktriangledown}
- \newcommand*{\str}[1]{\mathopen{\@recthy at llangle}#1\mathclose{\@recthy at rrangle}}
- \newcommand*{\code}{\str}
- \newcommand*{\EmptyStr}{\@recthy at 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 at concatSYM}}
- \WithSuffix\def\concat[#1]{\concat\str{#1}}
- \newcommand*{\strpred}[1]{{#1}^{-}}
- \newcommand*{\lh}[2][]{\@recthy at 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 at nopair
- \@packinfo{No redefining pair.}
- \else
- \@packinfo{pair=godelpair.}
- \newcommand*{\pair}{\godelpair}
- \fi
+ \newcommand*{\str}[1]{\mathopen{\@recthy at llangle}#1\mathclose{\@recthy at rrangle}}
+ \newcommand*{\code}{\str}
+ \newcommand*{\EmptyStr}{\@recthy at EmptyStr}
+ \newcommand*{\estr}{\EmptyStr}
+ \newcommand*{\decode}[2]{(#1)_{#2}}
+ \providecommand*{\godelpair}[2]{\mathopen{\langle} #1, #2 \mathclose{\rangle}}
+ \newcommand*{\gpair}{\godelpair}
+ \newcommand*{\concat}{\mathbin{\@recthy at concatSYM}}
+ \WithSuffix\def\concat[#1]{\concat\str{#1}}
+ \newcommand*{\strpred}[1]{{#1}^{-}}
+ \providecommand*{\lh}[2][]{\@recthy at abs{#2}_{#1}} %% Gives length of a string
+ \providecommand*{\incompat}{\mathrel{\mid}} %incompatible stringes FIX SPACING
+ \providecommand*{\incomp}{\incompat}
+ \providecommand*{\compat}{\mathrel{\nmid}}
+ \newcommand*{\setcol}[2]{{#1}^{[#2]}}
+ \ifrecthy at nopair
+ \@packinfo{No redefining pair.}
+ \else
+ \@packinfo{pair=godelpair.}
+ \newcommand*{\pair}{\godelpair}
+ \fi
\fi
}
\AtEndOfPackage{
\ifrecthy at notrees
- \@packinfo{No trees loading.}
+ \@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}
+ \@packinfo{Trees loading.}
+ \newcommand*{\CBderiv}[2][1]{#2^{\langle#1\rangle}}
+ \newcommand*{\pruneTree}[1]{\CBderiv[\infty]{#1}}
+ \newcommand*{\hgt}[1]{\lVert #1 \rVert}
\fi
}
@@ -678,37 +732,37 @@
%re set relations
\AtEndOfPackage{
\ifrecthy at nosetrels
- \@packinfo{No setrels loading.}
+ \@packinfo{No setrels loading.}
\else
- \@packinfo{setrels loading.}
+ \@packinfo{setrels loading.}
- \WithSuffix\def\subset*{\subset^{*}}
- \WithSuffix\def\supset*{\supset^{*}}
- \WithSuffix\def\subseteq*{\subseteq^{*}}
- \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^{*}}
+ \WithSuffix\def\subset*{\subset^{*}}
+ \WithSuffix\def\supset*{\supset^{*}}
+ \WithSuffix\def\subseteq*{\subseteq^{*}}
+ \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*{\eq}{=}
+ \WithSuffix\def\eq*{=^{*}}
+ \newcommand*{\eqae}{=^{*}}
\newcommand*{\neqae}{\neq^{*}}
- \WithSuffix\def\neq*{\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}}
+ \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
}
@@ -727,49 +781,49 @@
\AtEndOfPackage{
\ifrecthy at noordinalnotations
- \@packinfo{No ordinal notations loading.}
+ \@packinfo{No ordinal notations loading.}
\else
- \@packinfo{ordinal notations loading.}
+ \@packinfo{ordinal notations loading.}
-\newcommand*{\wck}{\ensuremath{\omega^{ck}_1}}
+\providecommand*{\wck}{\ensuremath{\omega^{ck}_1}}
% \newcommand*{\ordtype}[1]{\ensuremath{\@recthy at abs{#1}_{\kleeneO}}}
- \newcommand*{\ordzero}{\ensuremath{0}}
+ \newcommand*{\ordzero}{\ensuremath{0}}
\def\kleeneOSYM{\mathcal{O}}
- \newcommand*{\kleeneO}{\let\@PMG at parenarg\@PMG at undefined\let\@PMG at braketarg\@PMG at undefined\@kleeneObody}
- \newcommand*{\@kleeneObody}{\kleeneOSYM\ifdefined\@PMG at parenarg
- ^{\@PMG at parenarg}%
- \fi%
- \ifdefined\@PMG at braketarg
- _{\abs{\@PMG at braketarg}}%
- \fi}
- \WithSuffix\def\@kleeneObody(#1){\def\@PMG at parenarg{#1}\@kleeneObody}
- \WithSuffix\def\@kleeneObody[#1]{\def\@PMG at braketarg{#1}\@kleeneObody}
- \WithSuffix\def\@kleeneObody*{\def\kleeneOSYM{\overline{\mathcal{O}}}\@kleeneObody}
+ \newcommand*{\kleeneO}{\let\@PMG at parenarg\@PMG at undefined\let\@PMG at braketarg\@PMG at undefined\@kleeneObody}
+ \newcommand*{\@kleeneObody}{\kleeneOSYM\ifdefined\@PMG at parenarg
+ ^{\@PMG at parenarg}%
+ \fi%
+ \ifdefined\@PMG at braketarg
+ _{\abs{\@PMG at braketarg}}%
+ \fi}
+ \WithSuffix\def\@kleeneObody(#1){\def\@PMG at parenarg{#1}\@kleeneObody}
+ \WithSuffix\def\@kleeneObody[#1]{\def\@PMG at 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
- \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}^{-}}
+ \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
}
@@ -787,19 +841,19 @@
% Forcing
\AtEndOfPackage{
\ifrecthy at noforcing
- \@packinfo{No forcing loading.}
+ \@packinfo{No forcing loading.}
\else
- \@packinfo{forcing loading.}
- \newcommand*{\forces}{\def\@PMG at frcparenarg{}\def\@PMG at frcbraketarg{}\def\@PMG at curfrcsym{\Vdash}\@forcesBody}
- \newcommand*{\@forcesBody}{\mathrel{{\@PMG at curfrcsym}^{\@PMG at frcparenarg}_{\@PMG at frcbraketarg}}}
- \WithSuffix\def\@forcesBody(#1){\def\@PMG at frcparenarg{#1}\@forcesBody}
- \WithSuffix\def\@forcesBody[#1]{\def\@PMG at frcbraketarg{#1}\@forcesBody}
- \WithSuffix\def\@forcesBody*{\let\@PMG at curfrcsym=\@PMG at VdashStar\@forcesBody}
+ \@packinfo{forcing loading.}
+ \providecommand*{\forces}{\def\@PMG at frcparenarg{}\def\@PMG at frcbraketarg{}\def\@PMG at curfrcsym{\Vdash}\@forcesBody}
+ \newcommand*{\@forcesBody}{\mathrel{{\@PMG at curfrcsym}^{\@PMG at frcparenarg}_{\@PMG at frcbraketarg}}}
+ \WithSuffix\def\@forcesBody(#1){\def\@PMG at frcparenarg{#1}\@forcesBody}
+ \WithSuffix\def\@forcesBody[#1]{\def\@PMG at frcbraketarg{#1}\@forcesBody}
+ \WithSuffix\def\@forcesBody*{\let\@PMG at curfrcsym=\@PMG at VdashStar\@forcesBody}
- % \long\def\forces@[#1][#2]{\Vdash^{#2}_{#1}}
- % \newcommand{\forces}{\optparams{\forces@}{[][]}%
- % }
- \newcommand*{\frc}{\forces}
+ % \long\def\forces@[#1][#2]{\Vdash^{#2}_{#1}}
+ % \newcommand{\forces}{\optparams{\forces@}{[][]}%
+ % }
+ \providecommand*{\frc}{\forces}
\fi
}
@@ -810,390 +864,394 @@
\newcommand*{\@recthy at CSigma}{\prescript{\mathcal{C}}{}{\Sigma}}
\newcommand*{\@recthy at CPi}{\prescript{\mathcal{C}}{}{\Pi}}
-\DeclareOptionX<\@recthy at family>{cdeltasym}[]{\def\@recthy at CDelta{#1}}
-\DeclareOptionX<\@recthy at family>{csigmasym}[]{\def\@recthy at CSigma{#1}}
-\DeclareOptionX<\@recthy at family>{cpisym}[]{\def\@recthy at CPi{#1}}
+\DeclareOptionX{cdeltasym}{\edef\@recthy at CDelta{\expandafter\noexpand\csname #1 \endcsname}}
+\DeclareOptionX{csigmasym}{\edef\@recthy at CSigma{\expandafter\noexpand\csname #1 \endcsname}}
+\DeclareOptionX{cpisym}{\edef\@recthy at CPi{\expandafter\noexpand\csname #1 \endcsname}}
+% \DeclareOptionX<\@recthy at family>{cdeltasym}[]{\def\@recthy at CDelta{#1}}
+% \DeclareOptionX<\@recthy at family>{csigmasym}[]{\def\@recthy at CSigma{#1}}
+% \DeclareOptionX<\@recthy at family>{cpisym}[]{\def\@recthy at CPi{#1}}
+
\AtEndOfPackage{
\ifrecthy at nosyntax
- \@packinfo{No syntax loading.}
+ \@packinfo{No syntax loading.}
\else
- \@packinfo{syntax loading.}
- \recthy at strip{CDelta}
- \recthy at strip{CSigma}
- \recthy at 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}}
+ \@packinfo{syntax loading.}
+ \recthy at strip{CDelta}
+ \recthy at strip{CSigma}
+ \recthy at 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*{\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*{\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*{\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*{\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}}
+ \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}
+ %%%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
- %%%%%%%%%%%%%%
+ %%%%%%%%%%%%%
+ % \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)} }
+ %%%%%%%%
+ % 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.
- %%%%%%%%%%%
+ %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*{\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*{\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}}
+ \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\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\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\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\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}
+ %%%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}}
- \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*{\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{\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*{\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{\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*{\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{\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*{\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{\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*{\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{\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}}
+ \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}
+ %%%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}
@@ -1206,176 +1264,186 @@
%%%ABREVIATIONS
+\DeclareOptionX{recfnlsym}[Phi]{\edef\recfnlSYM{\expandafter\noexpand\csname #1 \endcsname}}
+\DeclareOptionX{recfsym}[phi]{\edef\recfSYM{\expandafter\noexpand\csname #1 \endcsname}}
-
%Degree Classes
\AtEndOfPackage{
\ifrecthy at nodegclasses
- \@packinfo{No degree classes loading.}
+ \@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} }}
+ \@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 at nocomputations
- \@packinfo{No computations loading.}
+ \@packinfo{No computations loading.}
\else
%%%%%%
- \newcommand*{\murec}[2]{\ensuremath{\mu#1\left( #2 \right) }}
+ \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*{\brecfSYM}{\phi}
+ \providecommand*{\recfSYM}{\phi}
+ \providecommand*{\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)}%
+ }}
+ \NewDocumentCommand{\recf}{omod()}{
+ \recfSYM_{#2\IfNoValueTF{#1}{}{, {#1}}}\IfNoValueTF{#3}{}{^{#3}}\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*{\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*{\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*{\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*{\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*{\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}}
- \newcommand*{\conv}[1][]{\mathpunct{\downarrow}_{#1}}
- \let\converge=\conv
- %\newcommand*{\convs}[1]{\ensuremath{\conv_{#1}}}
-% \newcommand*{\nconv}[1][]{\mathpunct{\mkern-4mu{\arrownot\mkern 4mu \downarrow}_{#1}}}
- \newcommand*{\nconv}[1][]{\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{\ltx at ifpackageloaded{unicode-math}{\mathbffrak{u}}{\mathfrak{u}}}\!\left[{#1}\right]}
- \newcommand*{\REset}{\let\@PMG at parenarg\@PMG at undefined\let\@PMG at braketarg\@PMG at undefined\@REsetbody}
- \newcommand*{\@REsetbody}[1]{W\ifdefined\@PMG at parenarg
- ^{\@PMG at parenarg}%
- \fi%
- \ifdefined\@PMG at braketarg
- _{#1, {\@PMG at braketarg}}%
- \else
- _{#1}
- \fi}
- \WithSuffix\def\@REsetbody(#1){\def\@PMG at parenarg{#1}\@REsetbody}
- \WithSuffix\def\@REsetbody[#1]{\def\@PMG at 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
+ \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{\ltx at 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 at parenarg\@PMG at undefined\let\@PMG at braketarg\@PMG at undefined\@REsetbody}
+ \newcommand*{\@REsetbody}[1]{W\ifdefined\@PMG at parenarg
+ ^{\@PMG at parenarg}%
+ \fi%
+ \ifdefined\@PMG at braketarg
+ _{#1, {\@PMG at braketarg}}%
+ \else
+ _{#1}
+ \fi}
+ \WithSuffix\def\@REsetbody(#1){\def\@PMG at parenarg{#1}\@REsetbody}
+ \WithSuffix\def\@REsetbody[#1]{\def\@PMG at 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 at nodegrees
- \@packinfo{No degrees loading.}
+ \@packinfo{No degrees loading.}
\else
- %%%%%%Turing Degrees
- \def\firsttokof at pmg#1{\first at pmg@rdmxs(#1)}
- \def\first at pmg@rdmxs(#1#2){#1}
+ %%%%%%Turing Degrees
+ \def\firsttokof at pmg#1{\first at pmg@rdmxs(#1)}
+ \def\first at pmg@rdmxs(#1#2){#1}
- \newcommand*{\Tdegvar}[1]{\mathbf{#1}}
- \newcommand*{\Tdegof}[1]{\utilde{#1}}
- \newcommand*{\Tdeg}[1]{\ifthenelse{
- %\equal{\detokenize{\Tzero}}{\futurelet\next at pmg\discard#1\@nil\expandafter\detokenize{\next at 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 at pmg@rdmxs(#1)}
- }{\Tdegof{#1}}{\Tdegvar{#1}}}
+ \providecommand*{\Tdegvar}[1]{\symbf{#1}}
+ \providecommand*{\Tdegof}[1]{\utilde{#1}}
+ \providecommand*{\Tdeg}[1]{\ifthenelse{
+ %\equal{\detokenize{\Tzero}}{\futurelet\next at pmg\discard#1\@nil\expandafter\detokenize{\next at 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 at pmg@rdmxs(#1)}
+ }{\Tdegof{#1}}{\Tdegvar{#1}}}
- \newcommand*{\Tjump}[1]{#1'}
- \let\jump=\Tjump
- \newcommand*{\jumpn}[2]{#1^{(#2)}}
- \newcommand*{\jjump}[1]{#1''}
- % \newcommand*{\Tzerosym}{\MVZero}
- \newcommand*{\Tzerosym}{\mathbb{0}}
- \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
+ \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 at TSYM}{\mathbf{T}}
- \newcommand*{\Tequiv}{\mathrel{\equiv_{\@recthy at TSYM}}}
- \newcommand*{\Teq}{\Tequiv}
- \newcommand*{\nTequiv}{\mathrel{\ncong_{\@recthy at TSYM}}}
- \newcommand*{\nTeq}{\nTequiv}
- %turing below
+ %%Misc Recursion theory stuff
+ %turing equivalent
+ \newcommand*{\@recthy at TSYM}{\symbf{T}}
+ \providecommand*{\Tequiv}{\mathrel{\equiv_{\@recthy at TSYM}}}
+ \providecommand*{\Teq}{\Tequiv}
+ \providecommand*{\nTequiv}{\mathrel{\ncong_{\@recthy at TSYM}}}
+ \providecommand*{\nTeq}{\nTequiv}
+ %turing below
- \newcommand*{\Tlneq}{\lneq_{\@recthy at TSYM}}
- \newcommand*{\Tleq}{\leq_{\@recthy at TSYM}}
- \newcommand*{\Tgneq}{\gneq_{\@recthy at TSYM}}
- \newcommand*{\Tgeq}{\geq_{\@recthy at TSYM}}
- \newcommand*{\Tgtr}{>_{\@recthy at TSYM}}
- \newcommand*{\Tless}{<_{\@recthy at TSYM}}
- \newcommand*{\nTleq}{\nleq_{\@recthy at TSYM}}
- \newcommand*{\nTgeq}{\ngeq_{\@recthy at TSYM}}
+ \providecommand*{\Tlneq}{\lneq_{\@recthy at TSYM}}
+ \providecommand*{\Tleq}{\leq_{\@recthy at TSYM}}
+ \providecommand*{\Tgneq}{\gneq_{\@recthy at TSYM}}
+ \providecommand*{\Tgeq}{\geq_{\@recthy at TSYM}}
+ \providecommand*{\Tgtr}{>_{\@recthy at TSYM}}
+ \providecommand*{\Tless}{<_{\@recthy at TSYM}}
+ \providecommand*{\nTleq}{\nleq_{\@recthy at TSYM}}
+ \providecommand*{\nTgeq}{\ngeq_{\@recthy at TSYM}}
- \newcommand*{\Tdegjoin}{\mathbin{\vee_{\@recthy at TSYM}}}
- \newcommand*{\Tdegmeet}{\mathbin{\wedge_{\@recthy at TSYM}}}
- \newcommand*{\Tmeet}{\Tdegmeet}
- \newcommand*{\Tsetjoin}{\mathbin{\oplus}}
- \newcommand*{\TsetJoin}{\mathop{\bigoplus}}
- \newcommand*{\Tplus}{\Tsetjoin}
- \newcommand*{\TPlus}{\TsetJoin}
- \newcommand*{\Tjoin}{\Tsetjoin}
- \newcommand*{\TJoin}{\TsetJoin}
+ \providecommand*{\Tdegjoin}{\mathbin{\vee_{\@recthy at TSYM}}}
+ \providecommand*{\Tdegmeet}{\mathbin{\wedge_{\@recthy at TSYM}}}
+ \providecommand*{\Tmeet}{\Tdegmeet}
+ \providecommand*{\Tsetjoin}{\mathbin{\oplus}}
+ \providecommand*{\TsetJoin}{\mathop{\bigoplus}}
+ \providecommand*{\Tplus}{\Tsetjoin}
+ \providecommand*{\TPlus}{\TsetJoin}
+ \providecommand*{\Tjoin}{\Tsetjoin}
+ \providecommand*{\TJoin}{\TsetJoin}
@@ -1382,16 +1450,16 @@
- \newcommand*{\@recthy at ttSYM}{\ensuremath{\text{\tiny tt}}}
- \newcommand*{\ttSYM}{\@recthy at ttSYM}
- \newcommand*{\ttlneq}{\lneq_{\@recthy at ttSYM}}
- \newcommand*{\ttleq}{\leq_{\@recthy at ttSYM}}
- \newcommand*{\ttgneq}{\gneq_{\@recthy at ttSYM}}
- \newcommand*{\ttgeq}{\geq_{\@recthy at ttSYM}}
- \newcommand*{\ttgtr}{>_{\@recthy at ttSYM}}
- \newcommand*{\ttless}{<_{\@recthy at ttSYM}}
- \newcommand*{\ttnleq}{\nleq_{\@recthy at ttSYM}}
- \newcommand*{\ttngeq}{\ngeq_{\@recthy at ttSYM}}
+ \newcommand*{\@recthy at ttSYM}{\ensuremath{\text{\tiny tt}}}
+ \newcommand*{\ttSYM}{\@recthy at ttSYM}
+ \newcommand*{\ttlneq}{\lneq_{\@recthy at ttSYM}}
+ \newcommand*{\ttleq}{\leq_{\@recthy at ttSYM}}
+ \newcommand*{\ttgneq}{\gneq_{\@recthy at ttSYM}}
+ \newcommand*{\ttgeq}{\geq_{\@recthy at ttSYM}}
+ \newcommand*{\ttgtr}{>_{\@recthy at ttSYM}}
+ \newcommand*{\ttless}{<_{\@recthy at ttSYM}}
+ \newcommand*{\ttnleq}{\nleq_{\@recthy at ttSYM}}
+ \newcommand*{\ttngeq}{\ngeq_{\@recthy at ttSYM}}
\fi
}
More information about the tex-live-commits
mailing list