summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/rec-thy/rec-thy.tex
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2022-04-25 03:01:49 +0000
committerNorbert Preining <norbert@preining.info>2022-04-25 03:01:49 +0000
commit4688b855bb6f8b817901a7c777e8aecd1a189622 (patch)
treeaa75c3ff4a3d691e41b2cffe0c37824cfa435230 /macros/latex/contrib/rec-thy/rec-thy.tex
parent525912b963dd339500c863995e046af658dbdcf6 (diff)
CTAN sync 202204250301
Diffstat (limited to 'macros/latex/contrib/rec-thy/rec-thy.tex')
-rw-r--r--macros/latex/contrib/rec-thy/rec-thy.tex8
1 files changed, 4 insertions, 4 deletions
diff --git a/macros/latex/contrib/rec-thy/rec-thy.tex b/macros/latex/contrib/rec-thy/rec-thy.tex
index ded730f3b0..b80b17f6b5 100644
--- a/macros/latex/contrib/rec-thy/rec-thy.tex
+++ b/macros/latex/contrib/rec-thy/rec-thy.tex
@@ -282,9 +282,9 @@ 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
-\verb=\req{R}[\nu]{e\}= & \req{R}[\nu]{e} & \\ \midrule
-\verb=\req*{R}{e\}= & \req{R}{e} & \multirow{3}{*}{Requirement without hyperlinks} \\ \midrule
-\verb=\req*{R}[\nu]{e\}= & \req{R}[\nu]{e} & \\ \midrule
+\verb=\req{R}[\nu]{e}= & \req{R}[\nu]{e} & \\ \midrule
+\verb=\req*{R}{e}= & \req{R}{e} & \multirow{3}{*}{Requirement without hyperlinks} \\ \midrule
+\verb=\req*{R}[\nu]{e}= & \req{R}[\nu]{e} & \\ \midrule
\bottomrule
\end{tabular} \\
@@ -302,7 +302,7 @@ Giving output
\recfnl{r}{B}{} = \REset{j} \implies \exists[k] \left( \Upsilon^{j}_k(C \Tplus \REset{j}) = B) \lor \REset{j} \Tleq \Tzero \right)
\end{requirement}
-The require environment merges the \verb=\req[\nu]{R}{e\}= command directly into the environment arguments. It also creates an automatic label which makes use of the 1st and 2nd arguments but assumes the third argument contains only indexes whose names are subject to change. Unless \verb=nohyperreqs= is passed the \verb=\req[\nu]{R}{e\}= automatically links to the defining require environment.
+The require environment merges the \verb=\req[\nu]{R}{e}= command directly into the environment arguments. It also creates an automatic label which makes use of the 1st and 2nd arguments but assumes the third argument contains only indexes whose names are subject to change. Unless \verb=nohyperreqs= is passed the \verb=\req[\nu]{R}{e}= automatically links to the defining require environment.
\begin{lstlisting}[breaklines]
\begin{require}{R}{i}