Vários formatos para um único contador?

Question

Digamos que eu tenha uma definição ( \arabic) que inclui uma pequena lista de subdefinições ( \alph). Às vezes quero usar referências cruzadas completas (2.3a,2.3b, ...). Mas às vezes, quando a definição principal fica clara no contexto, quero usar referências cruzadas curtas (a,b, ..).

Mas só posso definir uma \thesubdefinitionmacro. Então, minha pergunta é: existe uma maneira recomendada de vincular mais de uma formatação a um único contador (ou seja, one \label)? No 'código do usuário' imagino usar \refpara a referência completa e \shortrefpara a curta:

\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

Eu provavelmente poderia hackear alguma coisa, mas talvez haja um pacote para isso?

Answer 1

Você pode 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}

Observe que você precisa usar \zlabelpara definir um rótulo para \subdef.