Hi. Is there a way to do the following? Suppose I have a "Proposition"
environment and the text is something like this
Proposition 3 [pro:some-label] The following holds:
1. [enu:item1] something
2. [enu:item2] other
and later on I want references to show, for example as:
"... by Proposition 3(2)"
Currently I use a Formatted reference for the first part and an
un-formatted reference for the second:
"... by [Formatted ref: pro:some-label]([Ref: enu:item2])"
or in plain LaTeX (with prettyref)
"... by \prettyref{pro:some-label}(\ref{enu:item2})"
This is a bit cumbersome. Since enu:item2 is inside the Proposition
environment, would it be possible to infer the label pro:some-label
associated with that environment to create a format in prettyref so
that referring only to the individual item, so that it gives you the
full reference, i.e. something like
"... by [Formatted ref: enu-item2]"
yields
"... by Proposition 3(2)"
?
--
Ernesto Posse
Modelling and Analysis in Software Engineering
School of Computing
Queen's University - Kingston, Ontario, Canada
