On Feb 18, 2009, at 10:35 AM, stefano franchi wrote:
On Thu, Feb 19, 2009 at 10:11 AM, Richard Heck <[email protected]>
wrote:
Stefano Franchi wrote:
Hi all,
I am tryiing to enter some very simple logic proofs in my lecture
notes:
propositional logic constant, symbols, etc.
It was trivial to enter the single lines, but I cannot find out
how to
have a sequence of formulas left-aligned and (automatically)
numbered. I
read the Math manual, but all I could find was how to insert
eqnarray or the
AMS equivalent (If I got that right). The result is that my proof/
multi-line
formula is right-aligned and with numebring on the right. I could
live with
the latter, but right-alignement makes the whole thing hard to
understand.
What I would like is a sequence of (possibly) left-numbered left-
aligned
formulas.
I am sure the solution must be trivial with all the mathematical
typesetting power of LaTex at our disposal, but I seem to be too
dense to
find it.
Add "fleqn" as a document option under Document>Settings. It won't
change
the LyX display, but the output will be as you want.
Stefano,
You might have a look at Jason Turner's philprop.sty, which gives you
a good deal of control over the formatting of labels and numbering:
http://www.personal.leeds.ac.uk/~phljtt/jason_turner/LaTeX.html
Links to the .sty file and accompanying documentation are toward the
bottom of the page. You will of course have to use ERT unless (as I
understand it) you create your own LyX layout file. (I myself failed
utterly to create a working layout file for philprop.sty when I tried
-- I'm afraid I found the documentation and examples rather opaque --
though I plan to give it another more sustained go in the summer, as
it would exceedingly cool to have the capacities of philprop.sty built
into LyX, in effect, natively.)
Note also that Jason's page also has fitch.sty for formatting Fitch-
style ND proofs, which might also be useful to you.
-chris
