使用带有 hyperref 的 nd3 包

使用带有 hyperref 的 nd3 包

我刚刚发现了相当有用的nd3hyperref包。但是,由于它重新定义了命令,因此似乎无法与包一起正确运行。至少对我来说,\ref没有这个包在专业文档中是毫无用处的。有人知道有什么修复方法可以让这两个一起工作吗?hyperref

一个简单的 MWE:

\documentclass{scrartcl}


\usepackage{ND}
\usepackage{hyperref}

\begin{document}

\noindent ${(P \to Q), \Big((\neg Q) \lor R\Big), (R \iff S)} \vdash (P \to S)$

\begin{ND}[Proof][proof][][][.8\linewidth]
    \ndl{}{$P \to Q$}{Premise} \label{PimpliesQ}
    \ndl{}{$(\neg Q) \lor R$}{Premise} \label{notQorR}
    \ndl{}{$R \iff S$}{Premise} \label{RiffS}
    \ndl{}{\textcolor{red}{$(R \to S) \land (S \to R)$}}{\ref{RiffS}, $\iff$, Equivalence} \label{RimppliesSandSimpliesR}
\end{ND}

\end{document}

相关内容