On Tue, Oct 10, 2000 at 01:50:43PM +0200, Nicolas SABOURET wrote:
> How can I make inferences like :
>B C
>--- (y)
> A D
> -- (x)
> E
>
> There exists a "proof.sty" package with a "\infer{}{}" command, but if
> A,B,C,D,E are big math formulaes, I can't use "\infer{}{}" in math mod
>>Date: Tue, 10 Oct 2000 13:50:43 +0200
>>From: Nicolas SABOURET <[EMAIL PROTECTED]>
>>To: [EMAIL PROTECTED]
>>Subject: proof in Lyx
>>
>>How can I make inferences like :
>> B C
>> --- (y)
>> A D
>>-- (x)
>> E
>
How can I make inferences like :
B C
--- (y)
A D
-- (x)
E
There exists a "proof.sty" package with a "\infer{}{}" command, but if
A,B,C,D,E are big math formulaes, I can't use "\infer{}{}" in math mode
: it doesn't hold on a single lyx line (screen isn't wide enough :)). Is
there a s
