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