rec-thy (30nov18)

git-svn-id: svn://tug.org/texlive/trunk@49286 c570f23f-e606-0410-a88d-b1316a301751

1 files changed, 11 insertions, 6 deletions

diff --git a/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty b/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty
index be2e9f3c9ea..e984b3f17e8 100644
--- a/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty
+++ b/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty
@@ -32,7 +32,7 @@
 \ltx@ifpackageloaded{amssymb}{}{\RequirePackage{amssymb}}
 \ltx@ifpackageloaded{amsfonts}{}{\RequirePackage{amsfonts}}
 \ltx@ifpackageloaded{mathtools}{}{\RequirePackage{mathtools}}
-\ltx@ifpackageloaded{unicode-math}{}{\RequirePackage{mathrsfs}}
+\ltx@ifpackageloaded{unicode-math}{}{\RequirePackage{mathrsfs}\RequirePackage{mathbbol}}
 \ltx@ifpackageloaded{undertilde}{}{\RequirePackage{undertilde}}
 }
 
@@ -98,7 +98,7 @@
 \newif\ifrecthy@nostructresets \recthy@nostructresetsfalse
 \newif\ifrecthy@noreqhelper \recthy@noreqhelperfalse
 \newif\ifrecthy@nosubfun \recthy@nosubfunfalse
-\newif\ifrecthy@nopfcases \recthy@nopfcasesfalse
+\newif\ifrecthy@nopfcases \@ifclassloaded{beamer}{\recthy@nopfcasestrue}{\recthy@nopfcasesfalse}
 \newif\ifrecthy@noprioritytrees \recthy@noprioritytreesfalse
 \newif\ifrecthy@hyperreqs \recthy@hyperreqstrue
 
@@ -321,6 +321,11 @@
     }{
         \end{requirement}
     }
+    \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
@@ -531,7 +536,7 @@
 
 
 
-\NewDocumentCommand{\@recthy@set}{oG{}}{\left \{ #1 \ifthenelse{\isempty{#2}}{}{\middle | #2} \right \}}
+\NewDocumentCommand{\@recthy@set}{mg}{\left \{ #1 \IfNoValueTF{#2}{}{\middle | #2} \right \}}
 
 % \def\@recthy@set#1{\def\@set@argi@pmg{#1}\@ifnextchar\bgroup\@setst@pmg\@setplain@pmg}
 % \newcommand*{\@setst@pmg}[1]{\ifthenelse{\isempty{#1}}{\@setplain@pmg}{\left \{ \@set@argi@pmg \middle | #1\right \}}}
@@ -1345,11 +1350,11 @@
 
     \newcommand*{\cequiv}{\mathrel{\simeq}}
     \newcommand*{\ncequiv}{\mathrel{\not\simeq}}
-    \NewDocumentCommand{\conv}{o}{\mathpunct{\downarrow}_{#1}}
+    \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}}}
+    \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@ifpackageloaded{unicode-math}{\symbffrak{u}}{\mathfrak{u}}}\!\left[{#1}\right]}
@@ -1393,7 +1398,7 @@
     \providecommand*{\Tdegvar}[1]{\symbf{#1}}
     \providecommand*{\Tdegof}[1]{\utilde{#1}}
     \providecommand*{\Tdeg}[1]{\ifthenelse{
-    %\equal{\detokenize{\Tzero}}{\futurelet\next@pmg\discard#1\@nil\expandafter\detokenize{\next@pmg}}
+    % \equal{\detokenize{\Tzero}}{\futurelet\next@pmg\discard#1\@nil\expandafter\detokenize{\next@pmg}}
                                         \equal{\detokenize{\Tzero}}{\detokenize{#1}} \OR  
                                         \equal{\detokenize{\Tzero}}{\detokenize{#1}} \OR 
                                         \equal{\detokenize{\zeroj}}{\detokenize{#1}} \OR