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
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
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
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
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
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