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. Thanks in advance, Stefano ______________________________________________________________ Stefano Franchi Department of Philosophy Ph: (979) 862-2211 Texas A&M University Fax: (979) 845-0458 305B Bolton Hall [email protected] College Station, TX 77843-4237
