Re: cross-reference to an enumerated item within a theorem

2011-05-31 Thread Richard Heck
On 05/30/2011 02:52 PM, Ernesto Posse wrote:
 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)

 ?

This would be possible in LaTeX, but a really general solution would be
difficult. If you want to try writing the LaTeX macros, then my idea
would be to use labels of the form:
pro:theprop
enu:1-pro:theprop
enu:2-pro:theprop
the point being that we can reconstruct the earlier label. I don't think
LaTeX normally knows that you are inside some construct you've already
labeled.

Richard



Re: cross-reference to an enumerated item within a theorem

2011-05-31 Thread Richard Heck
On 05/30/2011 02:52 PM, Ernesto Posse wrote:
 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)

 ?

This would be possible in LaTeX, but a really general solution would be
difficult. If you want to try writing the LaTeX macros, then my idea
would be to use labels of the form:
pro:theprop
enu:1-pro:theprop
enu:2-pro:theprop
the point being that we can reconstruct the earlier label. I don't think
LaTeX normally knows that you are inside some construct you've already
labeled.

Richard



Re: cross-reference to an enumerated item within a theorem

2011-05-31 Thread Richard Heck
On 05/30/2011 02:52 PM, Ernesto Posse wrote:
> 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)"
>
> ?
>
This would be possible in LaTeX, but a really general solution would be
difficult. If you want to try writing the LaTeX macros, then my idea
would be to use labels of the form:
pro:theprop
enu:1-pro:theprop
enu:2-pro:theprop
the point being that we can reconstruct the earlier label. I don't think
LaTeX normally knows that you are inside some construct you've already
labeled.

Richard



cross-reference to an enumerated item within a theorem

2011-05-30 Thread Ernesto Posse
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


cross-reference to an enumerated item within a theorem

2011-05-30 Thread Ernesto Posse
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


cross-reference to an enumerated item within a theorem

2011-05-30 Thread Ernesto Posse
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