Re: 'inference rule' sign with lyx
manuel aldana wrote: hey folks, i have got a problem, which needs to be solved urgently... i worked always with latex-plain text before, that's why i got stuck with lyx mode. too late to change to plain text editing because the deadline for my excerpt is tomorrow evening. now the problem: how is it possible to enter this 'inference rule' sign in math mode? to make it more clear, here a short ascii description: No problem when you know how to do it in plain latex. This because lyx allows chunks of plain latex inside the document. Use the menu Insert->tex or the TeX button. Then you can write a chunk of plain latex. Helge Hafting
Re: 'inference rule' sign with lyx
manuel aldana wrote:
hey folks,
i have got a problem, which needs to be solved urgently...
i worked always with latex-plain text before, that's why i got stuck
with lyx mode. too late to change to plain text editing because the
deadline for my excerpt is tomorrow evening.
now the problem:
how is it possible to enter this 'inference rule' sign in math mode?
to make it more clear, here a short ascii description:
-
foo bar
- -
foobar
--
i tried to use the fraction sign, but looks horrible and indendation is
not possible.
thank you so much!
If you have a way to do this in LaTeX, you should be able to open an ERT
inset (Insert->TeX, control-L, or click the TEX button and just type
your LaTeX code into the box (including $...$ if you need to be in math
mode). You could also try opening a math inset (Insert->Math->Inline or
Display, C-m or C-S-m, or click the (a+b)/c button) and type your LaTeX
code in there. That method is probably a bit more trouble-prone. It
may not look good in the LyX GUI, but it should produce the same DVI
output you would get working directly with LaTeX. (If you use any
packages to do it, they need to be loaded with appropriate \usepackage{}
commands in Layout->Document->Preamble.)
If you don't have a LaTeX solution, you might take a look at the
mathpartir package (http://pauillac.inria.fr/~remy/latex/). I have not
used it myself, but it looks as though it might do what you want.
HTH,
/Paul
--
**
Paul A. RubinPhone:
(517) 432-3509
Department of ManagementFax: (517)
432-
The Eli Broad Graduate School of ManagementE-mail: [EMAIL PROTECTED]
Michigan State University
http://www.msu.edu/~rubin/
East Lansing, MI 48824-1122 (USA)
**
Mathematicians are like Frenchmen: whenever you say something to them,
they translate it into their own language, and at once it is something
entirely different.J. W. v. GOETHE
Re:'inference rule' sign with lyx
Would it work with either: - matrix + spaces to separate - insert the expression as an image (yes it's quick and dirty, but as a last resort...) /Anders manuel aldana Tue, 14 Feb 2006 12:07:11 -0800 hey folks, i have got a problem, which needs to be solved urgently... i worked always with latex-plain text before, that's why i got stuck with lyx mode. too late to change to plain text editing because the deadline for my excerpt is tomorrow evening. now the problem: how is it possible to enter this 'inference rule' sign in math mode? to make it more clear, here a short ascii description: - foo bar - - foobar -- i tried to use the fraction sign, but looks horrible and indendation is not possible. thank you so much! -- manuel aldana [EMAIL PROTECTED] [EMAIL PROTECTED]
'inference rule' sign with lyx
hey folks, i have got a problem, which needs to be solved urgently... i worked always with latex-plain text before, that's why i got stuck with lyx mode. too late to change to plain text editing because the deadline for my excerpt is tomorrow evening. now the problem: how is it possible to enter this 'inference rule' sign in math mode? to make it more clear, here a short ascii description: - foo bar - - foobar -- i tried to use the fraction sign, but looks horrible and indendation is not possible. thank you so much! -- manuel aldana [EMAIL PROTECTED] [EMAIL PROTECTED]
