[prev in list] [next in list] [prev in thread] [next in thread] 

List:       lyx-users
Subject:    Re: Proof with enumerate
From:       Richard Heck <rgheck () comcast ! net>
Date:       2012-05-28 13:36:15
Message-ID: 4FC37F4F.7060007 () comcast ! net
[Download RAW message or body]

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

[prev in list] [next in list] [prev in thread] [next in thread]