Re: Proof with enumerate

2012-05-28 Thread Richard Heck

On 05/27/2012 11:06 PM, Diego Villamil wrote:

Hello Lyx Users,
I am writing a math document, and I have a proposition with a number 
of properties.  I would like to start an enumeration of those 
properties within the proof, but haven't found a clean way of doing 
that as LyX ignores the proof environment once I added the enumeration.

I want to it to look something like this:

Proposition: The following properties hold:
1. This is property 1.
2. This is property 2.

Proof.
1. This is the proof of the first property.
2. This is the proof of the second property.


Increase the depth within the proof environment.

That said, I'm not sure enumeration is the right way to go here, if the 
proofs are at all long. Another option would to be put labels in the 
statement of the proposition, and then reference them.


Richard



Re: Proof with enumerate

2012-05-28 Thread David L. Johnson

On 05/27/2012 11:06 PM, Diego Villamil wrote:

Hello Lyx Users,
I am writing a math document, and I have a proposition with a number 
of properties.  I would like to start an enumeration of those 
properties within the proof, but haven't found a clean way of doing 
that as LyX ignores the proof environment once I added the enumeration.

I want to it to look something like this:

Proposition: The following properties hold:
1. This is property 1.
2. This is property 2.

Proof.
1. This is the proof of the first property.
2. This is the proof of the second property.

Thank you,
Diego
Simply increase the environment depth for the enumerated list, so that 
is inside the proof environment.  There is a button on the top, and a 
menu item, for this.  You do have to be more creative (deeper depth) if 
your proof is more than one line, so either strive for elegance or work 
with the environment depth some more.


--

David L. Johnson

A foolish consistency is the hobgoblin of little minds, adored by
little statesmen and philosophers and divines.
--Ralph Waldo Emerson



Re: Proof with enumerate

2012-05-28 Thread Richard Heck

On 05/27/2012 11:06 PM, Diego Villamil wrote:

Hello Lyx Users,
I am writing a math document, and I have a proposition with a number 
of properties.  I would like to start an enumeration of those 
properties within the proof, but haven't found a clean way of doing 
that as LyX ignores the proof environment once I added the enumeration.

I want to it to look something like this:

Proposition: The following properties hold:
1. This is property 1.
2. This is property 2.

Proof.
1. This is the proof of the first property.
2. This is the proof of the second property.


Increase the depth within the proof environment.

That said, I'm not sure enumeration is the right way to go here, if the 
proofs are at all long. Another option would to be put labels in the 
statement of the proposition, and then reference them.


Richard



Re: Proof with enumerate

2012-05-28 Thread David L. Johnson

On 05/27/2012 11:06 PM, Diego Villamil wrote:

Hello Lyx Users,
I am writing a math document, and I have a proposition with a number 
of properties.  I would like to start an enumeration of those 
properties within the proof, but haven't found a clean way of doing 
that as LyX ignores the proof environment once I added the enumeration.

I want to it to look something like this:

Proposition: The following properties hold:
1. This is property 1.
2. This is property 2.

Proof.
1. This is the proof of the first property.
2. This is the proof of the second property.

Thank you,
Diego
Simply increase the environment depth for the enumerated list, so that 
is inside the proof environment.  There is a button on the top, and a 
menu item, for this.  You do have to be more creative (deeper depth) if 
your proof is more than one line, so either strive for elegance or work 
with the environment depth some more.


--

David L. Johnson

A foolish consistency is the hobgoblin of little minds, adored by
little statesmen and philosophers and divines.
--Ralph Waldo Emerson



Re: Proof with enumerate

2012-05-28 Thread Richard Heck

On 05/27/2012 11:06 PM, Diego Villamil wrote:

Hello Lyx Users,
I am writing a math document, and I have a proposition with a number 
of properties.  I would like to start an enumeration of those 
properties within the proof, but haven't found a clean way of doing 
that as LyX ignores the proof environment once I added the enumeration.

I want to it to look something like this:

Proposition: The following properties hold:
1. This is property 1.
2. This is property 2.

Proof.
1. This is the proof of the first property.
2. This is the proof of the second property.


Increase the depth within the proof environment.

That said, I'm not sure enumeration is the right way to go here, if the 
proofs are at all long. Another option would to be put labels in the 
statement of the proposition, and then reference them.


Richard



Re: Proof with enumerate

2012-05-28 Thread David L. Johnson

On 05/27/2012 11:06 PM, Diego Villamil wrote:

Hello Lyx Users,
I am writing a math document, and I have a proposition with a number 
of properties.  I would like to start an enumeration of those 
properties within the proof, but haven't found a clean way of doing 
that as LyX ignores the proof environment once I added the enumeration.

I want to it to look something like this:

Proposition: The following properties hold:
1. This is property 1.
2. This is property 2.

Proof.
1. This is the proof of the first property.
2. This is the proof of the second property.

Thank you,
Diego
Simply increase the environment depth for the enumerated list, so that 
is "inside" the proof environment.  There is a button on the top, and a 
menu item, for this.  You do have to be more creative (deeper depth) if 
your proof is more than one line, so either strive for elegance or work 
with the environment depth some more.


--

David L. Johnson

"A foolish consistency is the hobgoblin of little minds, adored by
little statesmen and philosophers and divines."
--Ralph Waldo Emerson



Proof with enumerate

2012-05-27 Thread Diego Villamil
Hello Lyx Users,
I am writing a math document, and I have a proposition with a number of
properties.  I would like to start an enumeration of those properties
within the proof, but haven't found a clean way of doing that as LyX
ignores the proof environment once I added the enumeration.
I want to it to look something like this:

Proposition: The following properties hold:
1. This is property 1.
2. This is property 2.

Proof.
1. This is the proof of the first property.
2. This is the proof of the second property.

Thank you,
Diego


Proof with enumerate

2012-05-27 Thread Diego Villamil
Hello Lyx Users,
I am writing a math document, and I have a proposition with a number of
properties.  I would like to start an enumeration of those properties
within the proof, but haven't found a clean way of doing that as LyX
ignores the proof environment once I added the enumeration.
I want to it to look something like this:

Proposition: The following properties hold:
1. This is property 1.
2. This is property 2.

Proof.
1. This is the proof of the first property.
2. This is the proof of the second property.

Thank you,
Diego


Proof with enumerate

2012-05-27 Thread Diego Villamil
Hello Lyx Users,
I am writing a math document, and I have a proposition with a number of
properties.  I would like to start an enumeration of those properties
within the proof, but haven't found a clean way of doing that as LyX
ignores the proof environment once I added the enumeration.
I want to it to look something like this:

Proposition: The following properties hold:
1. This is property 1.
2. This is property 2.

Proof.
1. This is the proof of the first property.
2. This is the proof of the second property.

Thank you,
Diego