summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/rec-thy/rec-thy.sty
diff options
context:
space:
mode:
Diffstat (limited to 'macros/latex/contrib/rec-thy/rec-thy.sty')
-rw-r--r--macros/latex/contrib/rec-thy/rec-thy.sty18
1 files changed, 14 insertions, 4 deletions
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}}