Re: proof in Lyx
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 mode
: it doesn't hold on a single lyx line (screen isn't wide enough :)). Is
there a solution ?
Can I temporarily redefine \frac by \infer ? How can I do this ?
Nicolas.
Yes. If you don't need to use (normal) \frac, just put the following line in
the preamble:
\def\frac##1##2{\infer{##2}{##1}}
If you do need to use \frac, then put the following line in the preamble
\def\foo#1{{\def\frac##1##2{\infer{##2}{##1}}#1}}
and then put \foo{} around each formula inset with a proof (outside of the
insets).
Re: proof in Lyx
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 mode
: it doesn't hold on a single lyx line (screen isn't wide enough :)). Is
there a solution ?
Can I temporarily redefine \frac by \infer ? How can I do this ?
Nicolas.
Yes. If you don't need to use (normal) \frac, just put the following line in
the preamble:
\def\frac##1##2{\infer{##2}{##1}}
If you do need to use \frac, then put the following line in the preamble
\def\foo#1{{\def\frac##1##2{\infer{##2}{##1}}#1}}
and then put \foo{} around each formula inset with a proof (outside of the
insets).
Re: proof in Lyx
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 mode
> : it doesn't hold on a single lyx line (screen isn't wide enough :)). Is
> there a solution ?
> Can I temporarily redefine \frac by \infer ? How can I do this ?
> Nicolas.
Yes. If you don't need to use (normal) \frac, just put the following line in
the preamble:
\def\frac##1##2{\infer{##2}{##1}}
If you do need to use \frac, then put the following line in the preamble
\def\foo#1{{\def\frac##1##2{\infer{##2}{##1}}#1}}
and then put \foo{} around each formula inset with a proof (outside of the
insets).
Re: proof in Lyx
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
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 solution ?
Can I temporarily redefine \frac by \infer ? How can I do this ?
Nicolas.
Seems that the best way is to define newcommands for complicated math
in the preamble (the LaTeX stuff), or to use math macros
(the LyX stuff, have a look at the UserGuideM chapter Math).
--
Jean-Pierre
Re: proof in Lyx
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
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 solution ?
Can I temporarily redefine \frac by \infer ? How can I do this ?
Nicolas.
Seems that the best way is to define newcommands for complicated math
in the preamble (the LaTeX stuff), or to use math macros
(the LyX stuff, have a look at the UserGuideM chapter Math).
--
Jean-Pierre
Re: proof in Lyx
>>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
>>
>>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 solution ?
>>Can I temporarily redefine \frac by \infer ? How can I do this ?
>>Nicolas.
Seems that the best way is to define newcommands for complicated math
in the preamble (the LaTeX stuff), or to use math macros
(the LyX stuff, have a look at the UserGuideM chapter Math).
--
Jean-Pierre
