summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex')
-rw-r--r--Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex33
1 files changed, 25 insertions, 8 deletions
diff --git a/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex b/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex
index e43e148ec34..a73dc445e8e 100644
--- a/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex
+++ b/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex
@@ -49,7 +49,6 @@
\usepackage{multirow}
\usepackage{booktabs}
\usepackage{xtab}
-\usepackage[suppPriorityTrees]{rec-thy}
\usepackage{suffix}
\usepackage{metalogo}
@@ -60,6 +59,17 @@
% Running Headers and footers
%\usepackage{fancyhdr}
\usepackage[parfill]{parskip}
+\usepackage{etoolbox}
+\makeatletter
+\patchcmd{\@maketitle}
+ {\ifx\@empty\@dedicatory}
+ {\ifx\@empty\@date \else {\vskip3ex \centering\footnotesize\@date\par\vskip1ex}\fi
+ \ifx\@empty\@dedicatory}
+ {}{}
+\patchcmd{\@adminfootnotes}
+ {\ifx\@empty\@date\else \@footnotetext{\@setdate}\fi}
+ {}{}{}
+\makeatother
%\usepackage{setspace}
% Multipart figures
@@ -78,7 +88,7 @@
%\usepackage[pdftex]{graphicx}
%\DeclareGraphicsExtensions{.pdf, .jpg, .tif}
-
+\usepackage[suppPriorityTrees]{rec-thy}
\title{The rec-thy Package}
\author{Peter M. Gerdes (gerdes@invariant.org)}
\date{\DateOfPackage{rec-thy}: Version \recthyVersion}
@@ -125,6 +135,7 @@ While the symbols used by default in the package are suggested for adoption to a
\item[recfsym] Sets the symbol used for recursive functions. Default is \( \phi \).
\item[usesym] Sets the symbol used for the use operator. Default is \( \symbffrak{u} \) where this is printed using \verb=\symbfrak= if unicode-math is loaded and with \verb=\mathfrak= otherwise.
\item[ballsymb] Sets the symbol used for the ball command. Default is \( \mathscr{B} \).
+ \item[nodoubleangles] Prevents redefinition of \verb=\rrangle= and \verb=\llangle= with versions that use the repeated angle brackets e.g., lets you use the weird XITS versions.
\end{itemize}
As an example of how to use these commands consider the following code changing the ball symbol to \( \mathbf{B} \).
@@ -193,10 +204,14 @@ To disable these commands pass the option \verb=nocomputations=. \\ To specify
\verb=\recfnl{e}{}{x}\nconv= & \( \recfnl{e}{}{x}\nconv \) &\multirow{2}{*}{Divergence} \\[6pt]
\tab \verb=\recfnl{e}{}{x}\nconv[s]= & \( \recfnl{e}{}{x}\nconv[s] \) & \\ \midrule
\verb=\use{\recfnl{e}{Y}{x}}= & \( \use{\recfnl{e}{Y}{x}} \) & Use of a computation. \\ \midrule
- \verb=\REset{e}= & \( \REset{e} \) & \multirow{4}{*}{c.e. sets} \\[6pt]
- \verb=\REset[s]{e}= & \( \REset[s]{e} \) & \\[6pt]
- \verb=\REset(X){e}= & \( \REset(X){e} \) & \\[6pt]
- \verb=\REset[s](X){e}= & \( \REset[s](X){e} \) & \\ \midrule
+ \verb=\REset{e}= & \( \REset{e} \) & \multirow{4}{*}{c.e. sets} \\[6pt]
+ \verb=\REset[s]{e}= & \( \REset[s]{e} \) & \\[6pt]
+ \verb=\REset(X){e}= & \( \REset(X){e} \) & \\[6pt]
+ \verb=\REset[s](X){e}= & \( \REset[s](X){e} \) & \\ \midrule
+ \verb=\Hop{e}(X)= & \( \Hop{e}(X) \) & \multirow{4}{*}{Hop sets} \\[6pt]
+ \verb=\Hop[s](X){e}= & \( \Hop[s](X){e} \) & \\[6pt]
+ \verb=\Hop[s]{e}= & \( \Hop[s]{e} \) & \\[6pt]
+ \verb=\Hop{e}= & \( \Hop{e} \) & \\ \midrule
\verb=\iREAop{e}(\eset)= & \multirow{2}{*}{\( \iREAop{e}(\eset) \)} &\multirow{2}{*}{1-REA operator} \\
\tab \verb=\oneREAop{e}(\eset)= & & \\ \midrule
% \verb=\alphaREAop{\alpha}(\eset)= & \multirow{2}{*}{\( \alphaREAop{\alpha}(\eset) \)} &\multirow{2}{*}{\( \alpha \)-REA operator} \\[6pt]
@@ -260,7 +275,7 @@ To disable these commands pass the option \verb=nodegrees=. \\
\makeatletter
\subsection{Requirement Assistance}
To disable these commands pass the option \verb=noreqhelper=. To disable the hyperlinked requirements pass \verb=nohyperreqs=\\
-Math mode is not required for \verb=\req{R}{e\}=
+Math mode is not required for \verb=\req{R}{e}=
\begin{tabular}{l | l | l}\toprule
\verb=\req{R}{e}= & \( \req{R}{e} \) & \multirow{3}{*}{Requirement } \\ \midrule
@@ -572,7 +587,7 @@ To disable these commands pass the option \verb=noforcing=.\\
\subsection{Syntax}
To disable these commands pass the option \verb=nosyntax=.\\ All syntax classes can be relativized with an optional argument in square brackets even when not listed below. Only the \( \Delta \) formula classes are listed below since the syntax is identical for \( \Sigma \) and \( \Pi \). Capitalizing the first letter gives the boldface version in all cases (except the computable infinitary formulas as this doesn't make sense). Not all formulas/abbreviations are demonstrated below given the huge number but the enough are included to make it clear what command is required to generate the desired formula class, e.g., substituting pi for delta does what you think it does.
-To change the syntax for the computable infinitary formulas you can pass the options \verb!cdeltasym=macroname!, \verb!csigmasym=macroname! and \verb!cpisym=macroname! where macroname is the name (without the leading \\) of the macro giving the desired symbol to use for the relevant class.
+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 \verb=\=) 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
@@ -685,6 +700,8 @@ Finally to enable the mrref helper macros pass the option \verb=mrref=.\\ These
% TESTING: \verb=\fpmapsto=, \verb=\fpmapsfrom=, \verb=\ParFuncs{Y}{X}= and \verb=\FinParFuncs{Y}{X}=
\begin{itemize}
+ \item[3.6] Fixed \verb=\REA[n]= so that dash is shorter. Added BeamerRequirements to add a block for requirements in beamer and fixed the requirements environment for beamer. Fixed \verb=\req*= error. Improved syntax for \verb=\recfnl= so it can accept a parenthesis delimited argument as the oracle. Improved \verb=\setcol= to allow it to be used in a nested fashion without typesetting bugs. Changed the \verb=\code= and \verb=\pair= commands to use only a single angle bracket.
+ \item[3.5] Added \verb=\Hop= and misc code cleanup.
\item[3.4] Eliminated dependence on undertilde which is missing from texlive
\item[3.3.1] Fixed typo causing error under pdflatex.
\item[3.3] - Fixed/added tweak to overline so it looks correct. Also added real symbols so that \verb=\subfunneq= and \verb=\supfunneq= can be defined appropriately. Added \verb=\floor= and \verb=\ceil=. Note these aren't yet shown off in package doc. Fixed incorrect use of tiny in math mode.