Digamos que tengo una definición ( \arabic) que incluye una pequeña lista de subdefiniciones ( \alph). A veces quiero utilizar referencias cruzadas completas (2.3a,2.3b,...). Pero a veces, cuando la definición principal se desprende claramente del contexto, quiero utilizar referencias cruzadas breves (a,b, ..).
Pero sólo puedo definir una \thesubdefinitionmacro. Entonces mi pregunta es: ¿existe alguna forma recomendada de vincular más de un formato a un solo contador (es decir, uno \label)? En el 'código de usuario' me imagino usando \refpara la referencia completa y \shortrefpara la breve:
\newcounter{subdefinition}[definition]
\def\subdef#1{\refstepcounter{subdefinition}(\alph{subdefinition}) #1}
...
\begin{definition} \label{def}
Bla bla technical stuff:
\subdef{simple axiom}\label{simple},
\subdef{complex axiom}\label{complex}.
Note that axiom~\shortref{complex} is more complex than axiom~\shortref{simple}.
\end{definition}
We will focus mostly on axiom~\shortref{complex}). % axiom b
...
Recall that axiom~\ref{complex} is very complex. % axiom 2.3b
Probablemente podría hackear algo, pero ¿quizás haya un paquete para esto?
Respuesta1
Puedes usar zref:
\documentclass{article}
\usepackage{amsthm}
\usepackage[user]{zref}
\theoremstyle{definition}
\newtheorem{definition}{Definition}[section]
\newcounter{subdefinition}[definition]
\makeatletter
\zref@newprop{subdef}{}
\zref@newprop{fulldef}{}
\zref@addprop{main}{subdef}
\zref@addprop{main}{fulldef}
\newcommand\subdef[1]{%
\refstepcounter{subdefinition}%
\zref@setcurrent{subdef}{\alph{subdefinition}}%
\zref@setcurrent{fulldef}{\thedefinition\alph{subdefinition}}%
(\alph{subdefinition})~#1%
}
\newcommand{\shortref}[1]{\zref[subdef]{#1}}
\newcommand{\fullref}[1]{\zref[fulldef]{#1}}
\makeatother
\begin{document}
\section{A definition}
\begin{definition} \label{def}
Bla bla technical stuff:
\subdef{simple axiom}\zlabel{simple},
\subdef{complex axiom}\zlabel{complex}.
Note that axiom~\shortref{complex} is more complex than axiom~\shortref{simple}.
\end{definition}
\section{A reference}
We will focus mostly on axiom~\fullref{complex}.
\end{document}
Tenga en cuenta que debe utilizarlo \zlabelpara configurar una etiqueta para \subdef.
