texlive[55427] Master/texmf-dist: rec-thy (5jun20)

Fri Jun 5 23:49:16 CEST 2020

Revision: 55427
          http://tug.org/svn/texlive?view=revision&revision=55427
Author:   karl
Date:     2020-06-05 23:49:16 +0200 (Fri, 05 Jun 2020)
Log Message:
-----------
rec-thy (5jun20)

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	2020-06-05 21:49:02 UTC (rev 55426)
+++ trunk/Master/texmf-dist/doc/latex/rec-thy/README	2020-06-05 21:49:16 UTC (rev 55427)
@@ -36,3 +36,4 @@
 ??         - 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

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	2020-06-05 21:49:02 UTC (rev 55426)
+++ trunk/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex	2020-06-05 21:49:16 UTC (rev 55427)
@@ -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,22 +81,22 @@
 
 \title{The rec-thy Package}
 \author{Peter M. Gerdes (gerdes at 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
 
 
-\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}
 
 
-
 \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.
 
@@ -685,6 +685,7 @@
 
 % 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.  

Modified: trunk/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty
===================================================================
--- trunk/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty	2020-06-05 21:49:02 UTC (rev 55426)
+++ trunk/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty	2020-06-05 21:49:16 UTC (rev 55427)
@@ -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 at ifpackageloaded{amsfonts}{}{\RequirePackage{amsfonts}}
 \ltx at ifpackageloaded{mathtools}{}{\RequirePackage{mathtools}}
 \ltx at ifpackageloaded{unicode-math}{}{\RequirePackage{mathrsfs}\RequirePackage{mathbbol}}
-\ltx at ifpackageloaded{undertilde}{}{\RequirePackage{undertilde}}
+% Undertilde doesn't exist in texlive so we remove the dependency and define it again.
+\ltx at ifpackageloaded{undertilde}{}{
+    \newlength\knuthian at fdfive
+    \def\mathpal at save#1{\let\was at math@style=#1\relax}
+    \def\utilde#1{\mathpalette\mathpal at save
+                  {\setbox124=\hbox{$\was at math@style#1$}%
+    \setbox125=\hbox{$\fam=3\global\knuthian at fdfive=\fontdimen5\font$}
+    \setbox125=\hbox{$\widetilde{\vrule height 0pt depth 0pt width \wd124}$}%
+                   \baselineskip=1pt\relax
+                   \vtop{\copy124\copy125\vskip -\knuthian at fdfive}}}
+    }
 }
 
 % \ifxetex  %workaround for bug...hopefully can dispense on later
@@ -1853,7 +1863,7 @@
 
 
 
-    \newcommand*{\@recthy at ttSYM}{\ensuremath{\tiny \mathtt{tt}}}
+    \newcommand*{\@recthy at ttSYM}{\ensuremath{\mathtt{tt}}}
     \newcommand*{\ttSYM}{\@recthy at ttSYM}
     \newcommand*{\ttlneq}{\lneq_{\@recthy at ttSYM}}
     \newcommand*{\ttleq}{\leq_{\@recthy at ttSYM}}

