可点击的扣除标签交叉引用

Question

我正在使用该包proof用于提取扣除额。该软件包支持标签。但是，我希望有可点击的交叉引用。这可能吗？请注意，我希望标签是自定义文本，而不是数字。该软件包似乎没有内置对交叉引用的支持（既不是可点击的也不是不可点击的）。看似更全面的bussproof。以下是预期用途的示例：

\documentclass{llncs}   %or {article}
\usepackage{proof}      %\infer

\begin{document}

\[
\infer[\mbox{mylabel}]{a : A}{a ~\mbox{exists}}
\]

As %\intendedrefto{mylabel} shows, ...

\end{document}

Answer 1

您可以自己设置参考文本，因为\label使用当前的定义\@currentlabel：

\documentclass{article}
\usepackage{proof}             

\makeatletter
\newcommand{\labelthis}[2]{%
  \def\@currentlabel{#2}\label{#1}#2%
}
\makeatother

\begin{document}

\[
\infer[\mbox{\labelthis{ml}{mylabel}}]{a : A}{a ~\mbox{exists}}
\]

As \ref{ml} shows, ...

\end{document}

如果你还使用amsmath，你需要使用\ltx@label而不是\label

\makeatletter
\newcommand{\labelthis}[2]{%
  \def\@currentlabel{#2}\ltx@label{#1}#2%
}
\makeatother

Answer 2

这是一个解决方案：

\documentclass{llncs}
\usepackage{proof}      %\infer
\usepackage{mathtools}  %\tag   
\usepackage{hyperref}
\usepackage{xcolor}     %\color

\begin{document}

\begin{equation}\label{wha}
\infer[\mbox{mylabel}]{a : A}{a ~\mbox{exists}}
\color{white}{\tag*{mylabel}}
\end{equation}

As \ref{wha} shows, ...

\end{document}