我刚刚发现了相当有用的nd3
hyperref
包。但是,由于它重新定义了命令,因此似乎无法与包一起正确运行。至少对我来说,\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}