summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/rec-thy
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2020-06-06 03:02:31 +0000
committerNorbert Preining <norbert@preining.info>2020-06-06 03:02:31 +0000
commit527cbc8280407d055d185ad11f79b81b032eec7e (patch)
treeded40afa49ba9d7d482919c81250692def244b71 /macros/latex/contrib/rec-thy
parentf51a463b880756f6a989cac367c3d99fb1373719 (diff)
CTAN sync 202006060302
Diffstat (limited to 'macros/latex/contrib/rec-thy')
-rw-r--r--macros/latex/contrib/rec-thy/README1
-rw-r--r--macros/latex/contrib/rec-thy/rec-thy.pdfbin113162 -> 113253 bytes
-rw-r--r--macros/latex/contrib/rec-thy/rec-thy.sty18
-rw-r--r--macros/latex/contrib/rec-thy/rec-thy.tex13
4 files changed, 22 insertions, 10 deletions
diff --git a/macros/latex/contrib/rec-thy/README b/macros/latex/contrib/rec-thy/README
index b08a80f03b..0d4e624988 100644
--- a/macros/latex/contrib/rec-thy/README
+++ b/macros/latex/contrib/rec-thy/README
@@ -36,3 +36,4 @@ Github URL: https://github.com/TruePath/Recursion-Theory-Latex-Package
?? - v3.2 Removed \reaop, \alphaREAop, \aREAop in favor of using the single form \REAop. Removed \functo, \map and funcomp, \hgtO as useless synonyms and removed \KleeneOBelow and KleeneOLess as beyond what the package should define. Added package option compat31 to ensure package compatibility with version 3.1. An optional parentheses delimited argument specifying the base has been added to \REAop. Both \REAop and the pair \REA/\CEA have been updated to ignore order of optional arguments. The square brackets used to delimit the argument to the use command are now auto-sized. Added \pmapsto, \pmapsfrom, \kleeneZero, \kleeneNum, \entersat. Also Misc typesetting fixes.
05/08/2020 - v3.3 Fixed/added tweak to overline so it looks correct. Also added real symbols so that \subfunneq and \supfunneq can be defined appropriately. Fixed incorrect use of tiny in math mode.
06/01/2020 - v3.3.1 Fixed typo causing error under pdflatex.
+06/04/2020 - v3.4 Eliminated dependence on undertilde which is missing from texlive
diff --git a/macros/latex/contrib/rec-thy/rec-thy.pdf b/macros/latex/contrib/rec-thy/rec-thy.pdf
index 47a50ecb93..d466d49ff6 100644
--- a/macros/latex/contrib/rec-thy/rec-thy.pdf
+++ b/macros/latex/contrib/rec-thy/rec-thy.pdf
Binary files differ
diff --git a/macros/latex/contrib/rec-thy/rec-thy.sty b/macros/latex/contrib/rec-thy/rec-thy.sty
index 0edca35cbd..a758fe43fc 100644
--- a/macros/latex/contrib/rec-thy/rec-thy.sty
+++ b/macros/latex/contrib/rec-thy/rec-thy.sty
@@ -1,7 +1,7 @@
\NeedsTeXFormat{LaTeX2e}
% Release Notes see README
-\def\recthyVersion{3.3.1}
-\ProvidesPackage{rec-thy}[v3.3.1 Provides commands for writing up recursion theory papers]
+\def\recthyVersion{3.4}
+\ProvidesPackage{rec-thy}[2020/06/04 v\recthyVersion Provides commands for writing up recursion theory papers]
\makeatletter
% \newcommand*{\@curpack}{\@currname} %rec-thy.sty
\newcommand*{\@packinfo}[1]{\PackageInfo{rec-thy}{#1}}
@@ -32,7 +32,17 @@
\ltx@ifpackageloaded{amsfonts}{}{\RequirePackage{amsfonts}}
\ltx@ifpackageloaded{mathtools}{}{\RequirePackage{mathtools}}
\ltx@ifpackageloaded{unicode-math}{}{\RequirePackage{mathrsfs}\RequirePackage{mathbbol}}
-\ltx@ifpackageloaded{undertilde}{}{\RequirePackage{undertilde}}
+% Undertilde doesn't exist in texlive so we remove the dependency and define it again.
+\ltx@ifpackageloaded{undertilde}{}{
+ \newlength\knuthian@fdfive
+ \def\mathpal@save#1{\let\was@math@style=#1\relax}
+ \def\utilde#1{\mathpalette\mathpal@save
+ {\setbox124=\hbox{$\was@math@style#1$}%
+ \setbox125=\hbox{$\fam=3\global\knuthian@fdfive=\fontdimen5\font$}
+ \setbox125=\hbox{$\widetilde{\vrule height 0pt depth 0pt width \wd124}$}%
+ \baselineskip=1pt\relax
+ \vtop{\copy124\copy125\vskip -\knuthian@fdfive}}}
+ }
}
% \ifxetex %workaround for bug...hopefully can dispense on later
@@ -1853,7 +1863,7 @@
- \newcommand*{\@recthy@ttSYM}{\ensuremath{\tiny \mathtt{tt}}}
+ \newcommand*{\@recthy@ttSYM}{\ensuremath{\mathtt{tt}}}
\newcommand*{\ttSYM}{\@recthy@ttSYM}
\newcommand*{\ttlneq}{\lneq_{\@recthy@ttSYM}}
\newcommand*{\ttleq}{\leq_{\@recthy@ttSYM}}
diff --git a/macros/latex/contrib/rec-thy/rec-thy.tex b/macros/latex/contrib/rec-thy/rec-thy.tex
index e024ef8edb..e43e148ec3 100644
--- a/macros/latex/contrib/rec-thy/rec-thy.tex
+++ b/macros/latex/contrib/rec-thy/rec-thy.tex
@@ -1,4 +1,5 @@
\documentclass[leqno,11pt]{amsart}
+\usepackage{zwgetfdate}
\usepackage{amsmath}
% \RequirePackage{amsmath}
\usepackage[disallowspaces,fixamsmath]{mathtools}
@@ -48,7 +49,6 @@
\usepackage{multirow}
\usepackage{booktabs}
\usepackage{xtab}
-
\usepackage[suppPriorityTrees]{rec-thy}
\usepackage{suffix}
\usepackage{metalogo}
@@ -81,19 +81,19 @@
\title{The rec-thy Package}
\author{Peter M. Gerdes (gerdes@invariant.org)}
-\date{06/01/2020: Version \recthyVersion}
+\date{\DateOfPackage{rec-thy}: Version \recthyVersion}
\begin{document}
+\begin{abstract}
+\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}
-\maketitle
+\maketitle
-\begin{abstract}
-\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}
@@ -685,6 +685,7 @@ 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.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.
\item[3.2] - Removed \verb=\reaop=, \verb=\alphaREAop=, \verb=\aREAop= in favor of using the single form \verb=\REAop=. Removed \verb=\functo=, \verb=\map= and \verb=funcomp=, \verb=\hgtO= as useless synonyms and removed \verb=\KleeneOBelow= and \verb=KleeneOLess= as beyond what the package should define. Added package option compat31 to ensure package compatibility with version 3.1. An optional parentheses delimited argument specifying the base has been added to \verb=\REAop=. Both \verb=\REAop= and the pair \verb=\REA=/\verb=\CEA= have been updated to ignore order of optional arguments. The square brackets used to delimit the argument to the use command are now auto-sized. Added \verb=\pmapsto=, \verb=\pmapsfrom=, \verb=\kleeneZero=, \verb=\kleeneNum=, \verb=\entersat=. Also Misc typesetting fixes.