How to enter (logic) proofs?

[Stefano Franchi]

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  fran...@philosophy.tamu.edu
College Station, TX 77843-4237

Re: Paragraph and space formatting

[Yago]

For me the solution for that is to use in the preamble the package 
\nccparskip for to have the same skip between paragraphs all over the 
document.
- Original Message - 
From: "Mehrdad" 

To: 
Sent: Tuesday, February 17, 2009 1:28 AM
Subject: Paragraph and space formatting





Hallo to all





 I have a short question, how come lyx sometimes doesn't take the vertical
space I set. For instance it absolutely ignores the fact that I put a 
small

skip between two paragraphs. Sometime it indents paragraphs by a minimal
step in although I have set it to not indent? Its driving me crazy!



Thanks for the help




__ Information from ESET NOD32 Antivirus, version of virus 
signature database 3862 (20090217) __


The message was checked by ESET NOD32 Antivirus.

http://www.eset.com

Program Listing

[Graham]

Hi, is it possible to make a "Program Listing" that will not fit on one page, 
to continue onto the following page.

Thanks

Re: Using LyX for a book

[Les Denham]

On Tuesday 17 February 2009, Anthony Campbell wrote:
> I'm about to start setting up my fourth book in Lyx (1.6.1). My previous
> three were done using the Book class in 1.5.x. Can someone kindly tell
> me what would be the advantages of using Memoir (or point me to
> somewhere that discusses this)?

Just read the Memoir manual 
(/usr/share/doc/tetex-3.0_p1-r6/latex/memoir/memman.pdf on my system).

-- 
Les

~~
Please avoid sending me Word or PowerPoint attachments.
See http://www.gnu.org/philosophy/no-word-attachments.html

Re: Greek+English documents show English words with Greek letters

[Guenter Milde]

On 2009-02-16, Nikos Chantziaras wrote:
> Guenter Milde wrote:
>> On 2009-02-09, Nikos Chantziaras wrote:
>>> I'm using LyX 1.6.1 with TeXLive 2007 on Linux (Gentoo).

>>> I created a new document using the "article" class and selected "Greek" 
>>> as language.  The document is a mix of English and Greek, but there's a 
>>> problem: even though English words appear correctly in LyX, the final 
>>> PDF output shows English using the Greek alphabet.
...
>> You need to tell LyX which parts of the document are Greek and which are
>> English
...
> This is too slow, really, and in contrast with every other software out 
> there where you simply press Alt+Shift (or whatever combination you've 
> set up) and type away. 

However, this software will most probably not do correct hyphenation and
spell-cheking...

For single foreign words in Latin script, where this is not a problem, you
can use a customized "unicodesymbols" file:

* Copy it to your LyX directory (~/.lyx).

* For all the latin Letters (and maybe also the question mark and other
  punktuation), you need to add lines like::

  0x0067 "\textlatin{g}""" "force" "" "" # LATIN SMALL LETTER G

However, this will stand in your way, if you want to compile e.g. English
or German documents, so it needs a way to "switch off". (one possibility
is a to put the modified file into another userdir (say ~/.lyx-greek) and
start LyX with the "-userdir ~/.lyx-greek" option.


> It's not really an option to have to type two shortcuts to switch
> language 

You need to switch two things: keyboard layout (in LyX or in the OS) and
language (in LyX).

To achieve both with one key-combo, you could:

a) use the lyx-server and a script to let the shortcut switch the
   OS keyboard settings and send the lfun to LyX, or
   
b) define a keymap in LyX (see Help>Customization) and define a shortcut
   in LyX to switch the language + the keymap.
   
Option b) is preferable, if you wish to have a persistent keyboard
mapping outside LyX (e.g. for Greek-ignorant applications).   


> But if this is a limitation of TeX or LaTeX then I guess LyX has to live 
> with it.  

No, It is one of the limitations that LyX (due to its consequent use of
Unicode) can "easily" overcome.

> As it stands, it's too painful to use LyX for multilingual 
> documents that way, where the second language does not use a Latin 
> alphabet.  

Actually, it's no problem in the (worldwide more common) case that the
*second* language uses a non-Latin alphabet (like Greek words in German
text). The other way round is the problem. 

> I suppose most people can't really comprehend the painfulness 
> of this because their language is based on the Latin alphabet and 
> Alt+Shift does the right thing for them.

This might be one of the reasons for this feature still missing in LyX.
After all, LyX is a project by volunteers that need to be interested in
fixing this by one of

* own need for the feature,
* "scientific", "sportive" or some other interest in solving the problem,
* financial stimulus.

So, a first step towards a solution would be to file an enhancement
report to bugzilla.lyx.org that gets the developers interested.

A second step would be getting involved with the development and e.g.
provide a patch for unicodesymbols or a "greek.kmap" file that translates
Latin input to Greek Unicodechars for LyX.

Günter

Re: Using LyX for a book

[Steve Litt]

On Tuesday 17 February 2009 04:44:08 am Anthony Campbell wrote:
> On 15 Feb 2009, L Duperval wrote:
> > On Sat, 14 Feb 2009 21:27:54 -0600, Les Denham wrote:
> > > On Saturday 14 February 2009 04:09:25 pm Typhoon wrote:
> > >> Memoir comes with superb documentation. Have a careful look through it
> > >> and you should find the answer to all of your problems.
> > >
> > > I'll second that.  The Memoir documentation is beyond just
> > > documentation: it is a superb monograph on page layout, book design,
> > > and typography.
> > >
> > > Les
> >
> > Thanks to all. I started RTFM'ing (duh!) and in the first pages of
> > chapter 5 I realized that I could use the [ebook] option to get what I
> > want. Everything is working now, as I expected.
> >
> > Now, to sit down and actually write...
> >
> > L
>
> I'm about to start setting up my fourth book in Lyx (1.6.1). My previous
> three were done using the Book class in 1.5.x. Can someone kindly tell
> me what would be the advantages of using Memoir (or point me to
> somewhere that discusses this)?
>
> Anthony

Hi L Duperval,

I'm going to give you a viewpoint that's uniquely mine, and you can take from 
it what you will.

In my opinion, the main thing isn't WHICH document class you use for writing a 
book, it's CONSISTENTLY starting with the SAME document class so that you can 
learn it inside and out. I used Memoir once as a starting point, and if I 
remember correctly, I used Book as the starting point all the rest of my 
books.

Now that I'm starting to get good at the Book document class, I'm using that 
exclusively.

As Anthony says, Memoir has a lot of bells and whistles that make several 
things easier. As I remember, custom headers were easier with Memoir. There 
are also a couple things about Memoir which make it incompatible with some 
packages so you have to work around those incompatibilities if you need those 
features. Once again, I think as long as you're really good with one Document 
Class, you can get the layout you want in a book.

As Les says, the Memoir documentation is second to none. It's a must-read for 
anyone writing a book, regardless of Document Class. Most of it is simply 
good typography and layout. Before reading the Memoir documentation, I used 
to format my books with .75 inch side margins and a 1 inch gutter margin. The 
reader had to re-find each line. Yech! The Memoir docs told me exactly how 
wide your lines should be, and why.

In my opinion, and a lot of peoples' mileage varies, one should never choose a 
document class to accommodate the desired frontmatter. In my opinion 
frontmatter should be fingerpainted with custom environments and ERT, making 
little or no use of the document class's features. The fingerpainting takes 
about 6 hours, which is often a lot less than it takes to wrestle your 
document class into submission, and always less time than it takes to learn a 
new document class. The fingerpainting comes out EXACTLY how you wnat it, 
with no "settle fors". In my opinion, the part of the book that needs 
consistency throughout is the mainmatter, so the mainmatter should be the 
only section considered when choosing a document class.

SteveT

Steve Litt
Recession Relief Package
http://www.recession-relief.US

Re: Two-flows text

[Stefano Franchi]

On Monday 16 February 2009 16:14:46 Pavel Sanda wrote:
> stefano franchi wrote:
> > that referred to work in progress for LyX support of the LaTeX package
> > ledmac. Has anything changed since then?
>
> no and its very unprobable i'll find the time to continue on that code.
> pavel

Hi Pavel,

thanks for the update. Do you, or anyone on the list know if there are any 
tools that would make working with ledpar a little bit less cumbersome?
What I have in mind is something like two windows (or two emacs regions) with 
syncronized scrolling.
As far as I can tell from ledpar's docs and examples (admittely after a quick 
read of the very detailed manual), text is entered sequentially and the 
syncronuization happens at compile tiime only.

Cheers,
S.

__
Stefano Franchi
Department of Philosophy          Ph:  (979) 862-2211
Texas A&M University  Fax: (979) 845-0458
305B Bolton Hall  fran...@philosophy.tamu.edu
College Station, TX 77843-4237

Re: AMS article and sequential numbering

[rgheck]

A S wrote:

I've recently started using LyX 1.6.1 and discovered that my AMS
article documents now all have sequential numbering of theorems and
lemmas. In previous version one could choose between standard AMS
article, and sequentially numbered, but now there is only one option.
I searched the mail list archive and release notes, but have not found
any discussion about this. Can somebody clarify the situation?

  
If you want to number by Chapter or by Section, load the "Theorems (By 
Chapter)" or "Theorems (By Section)" module, accordingly.


rh

Re: page numbering

[Sengottuvelavan t.p.]

So simple !!! Thanks to both of u

@ Uwe schrieb:

\addcontentsline {toc}{chapter}{...}

i tried it ...its working ...I used it for abstract, acknowledgment,
biblio... but in case of abstract which is not actually numbered (created
with abstract environ)  has taken  page number from immediate following
chapter for TOC

how to rectify it


Regards
Velavan

Re: Greek+English documents show English words with Greek letters

[Nikos Alexandris]

On Tue, 2009-02-17 at 14:05 +, Guenter Milde wrote:
> On 2009-02-17, Nikos Alexandris wrote:
> 
> > I've tried to insert just two small greek sentences in a 200+ pages
> > English document as "Dictum" (book/KOMA-Script) and the document does
> > not get compiled. I use before and after the Dictum Ragged line breaks.
> 
> > When I try it in a new document with just some english text and the
> > greek sentences it works.
> 
> > What could be the "stopper" here?
> 
> Hard to say without a minimal example and any details about the errors
> you get.

The minimal example works and there are no errors. It just does not
react!

> It could be a different encoding (utf8x vs. something else), just one
> character unknown to lyx (e.g. from the "Greek extended" Unicode block)
> or a whole bunch of other things.

> Günter


I'll try to trace it.
Thanks, Nikos

Re: Greek+English documents show English words with Greek letters

[Guenter Milde]

On 2009-02-17, Nikos Alexandris wrote:

> I've tried to insert just two small greek sentences in a 200+ pages
> English document as "Dictum" (book/KOMA-Script) and the document does
> not get compiled. I use before and after the Dictum Ragged line breaks.

> When I try it in a new document with just some english text and the
> greek sentences it works.

> What could be the "stopper" here?

Hard to say without a minimal example and any details about the errors
you get. 

It could be a different encoding (utf8x vs. something else), just one
character unknown to lyx (e.g. from the "Greek extended" Unicode block)
or a whole bunch of other things.

Günter

Re: Greek+English documents show English words with Greek letters

[Nikos Alexandris]

[...]

Guenter Milde wrote: 
> > As the other way round (some Greek words in a non-Greek text) is the more
> > common case (outside Greece), it works with recent LyX versions.

I've tried to insert just two small greek sentences in a 200+ pages
English document as "Dictum" (book/KOMA-Script) and the document does
not get compiled. I use before and after the Dictum Ragged line breaks.

When I try it in a new document with just some english text and the
greek sentences it works.

What could be the "stopper" here?

Thanks, Nikos

Re: Graphics in LyX

[Jürgen Spitzmüller]

Uwe Stöhr wrote:
> LyX 1.6.2 that wil be released on February 28.

or some days later.

Jürgen

Re: Using LyX for a book

[Anthony Campbell]

On 17 Feb 2009, Konrad Hofbauer wrote:
> Anthony Campbell wrote:
>> I'm about to start setting up my fourth book in Lyx (1.6.1). My previous
>> three were done using the Book class in 1.5.x. Can someone kindly tell
>> me what would be the advantages of using Memoir (or point me to
>> somewhere that discusses this)?
>
> All the bells and whistles the Memoir class offers.
>
> See 
>
> /Konrad

Thanks for the link.


-- 
Anthony Campbell - a...@acampbell.org.uk 
Microsoft-free zone - Using Debian GNU/Linux
http://www.acampbell.org.uk (blog, book reviews, 
and sceptical articles)

Re: Graphics in LyX

[Uwe Stöhr]

Doug Laidlaw schrieb:

So the caption should have a frame!  I am using LyX 1.5.4;  I will get hold of 
the latest version.


It has in recent LyX versions. We also fixed several caption in related bugs and updated the LyX 
manuals accordingly in LyX 1.6.2 that wil be released on February 28.


regards Uwe

Re: Hyphenation at end of the page

[Anthony Campbell]

On 30 Jan 2009, jezZiFeR wrote:
> Hello Marcelo,
>
> thanks a lot! This works – thank you also for the explanations.
>
> Best*
> Jess
>
>
>
>
>
> Am 30.01.2009 um 00:28 schrieb Marcelo Acuña:
>
>>> Hm, well, I really meant to avoid it for the whole
>>> document…
>>>
>>> You mean I could avoid with ERT at the hyphenated line?
>>> Like
>>> "\hyphenpenalty1"? Doesn´t seem like a
>>> long term solution, especially
>>> for longer documents. Is this going to be revised in a
>>> newer version of
>>> Latex?
>>>
>>> Thanks, best*
>>> Jess
>>>
>>>
>> If you put
>> \hyphenpenalty=1
>> you avoid hyphenation in all lines in the entire document.
>> If you put a lower number, like 200 or 500, you reduce the number of  
>> word hyphenated in all lines in the whole documente.
>> \brokenpenalty is for your case.
>> Regards
>>
>>
>> Marcelo Acuña
>> visitá mi sitio web http://www.aleph-uno.com.ar
>> ==

I was very interested to see this thread because when I posted a query
on the same subject some time ago I got no replies. For one book I fixed
all the instances manually but it was a lot of work. For another, I just
gave up and left it, because on looking at other books by regular
publishing houses I found quite a few which had done the same.

But I don't think it looks good so I shall definitely try Marcelo's
solution next time.

Anthony


-- 
Anthony Campbell - a...@acampbell.org.uk 
Microsoft-free zone - Using Debian GNU/Linux
http://www.acampbell.org.uk (blog, book reviews, 
and sceptical articles)

Re: LyX 1.6.1 - Cannot highlight text anymore

[Iain Mac Donald]

On Tue, 17 Feb 2009 12:01:18 +0100
Rainer Rohde  wrote:

> Each time I try to highlight some
> text within a LyX session, the selected text does not stay highlighted

Do you use a clipboard utility like Clipman or Glipper? If so see this
thread:

http://www.mail-archive.com/lyx-users@lists.lyx.org/msg70358.html

Regards,
Iain.

Re: Re: Adjust fullscreen settings

[Timmie]

Vincent van Ravesteijn - TNW  writes:

> 
> 
> >> That's pretty much how it looks for me. Is the issue that the text 
> >> extends from the left side of the screen to the right side, with only
> 
> >> small margins? If so, you've probably overlooked the "limit text 
> >> width" option provided with the fullscreen preferences.
> >Yes. But I cannot find this option.
> >Where is it?
> >In the program preferences I do not have such an option...
> >
> >Please assist me here.
> 
> Tools->Preferences->Editing->Control.
Thanks.

I was looking in 
Tools->Preferences-> appearance & handling ...

Maybe this could be added to the Customization.lyx guide?

Regards,
Timmie

LyX 1.6.1 - Cannot highlight text anymore

[Rainer Rohde]

LyX - cannot highlight text anymore

OS: Jaunty (2.6.28-7-generic)
LyX ver: 1.6.1

Got a problem that started recently: Each time I try to highlight some
text within a LyX session, the selected text does not stay highlighted
when I let go of the left mouse button...

Any idea how to fix this?

Cheers,
Rainer


---
Best Regards,
Rainer Rohde
Emo Philips  - "I was the kid next door's imaginary friend."

RE: Re: Adjust fullscreen settings

[Vincent van Ravesteijn - TNW]

 

>> That's pretty much how it looks for me. Is the issue that the text 
>> extends from the left side of the screen to the right side, with only

>> small margins? If so, you've probably overlooked the "limit text 
>> width" option provided with the fullscreen preferences.
>Yes. But I cannot find this option.
>Where is it?
>In the program preferences I do not have such an option...
>
>Please assist me here.

Tools->Preferences->Editing->Control.

>Thanks.

Vincent

Re: Graphics in LyX

[Doug Laidlaw]

On Tuesday 17 February 2009 9:26:22 pm Hubert Christiaen wrote:
> Doug,
>
> On dinsdag 17 februari 2009, Doug Laidlaw wrote:
> >   There is something to the effect: "Write your caption;
> > click at the beginning of it, and insert your figure float there."
>
> This is not correct! You should click in front of the caption frame or just
> behind it, not in it! You insert the classical figure in front or behind
> the caption frame. If you want to insert a second figure next to the first
> (creating wto subfigures) then again take care of not putting a return
> between the two points where you insert the figures or they will under each
> other instead of side by side.
>
> Have a look at the help file for embedded objects in Lyx.
>
> Hope this helps,
> Hubert

So the caption should have a frame!  I am using LyX 1.5.4;  I will get hold of 
the latest version.

Doug.

Re: Adjust fullscreen settings

[Timmie]

> That's pretty much how it looks for me. Is the issue that the text
> extends from the left side of the screen to the right side, with only
> small margins? If so, you've probably overlooked the "limit text
> width" option provided with the fullscreen preferences.
Yes. But I cannot find this option.
Where is it?
In the program preferences I do not have such an option...

Please assist me here.

Thanks.

AMS article and sequential numbering

[A S]

I've recently started using LyX 1.6.1 and discovered that my AMS
article documents now all have sequential numbering of theorems and
lemmas. In previous version one could choose between standard AMS
article, and sequentially numbered, but now there is only one option.
I searched the mail list archive and release notes, but have not found
any discussion about this. Can somebody clarify the situation?

Best regards,
Alex

Re: Graphics in LyX

[Hubert Christiaen]

Doug,

On dinsdag 17 februari 2009, Doug Laidlaw wrote:
>   There is something to the effect: "Write your caption;
> click at the beginning of it, and insert your figure float there."
This is not correct! You should click in front of the caption frame or just 
behind it, not in it! You insert the classical figure in front or behind the 
caption frame. If you want to insert a second figure next to the first 
(creating wto subfigures) then again take care of not putting a return 
between the two points where you insert the figures or they will under each 
other instead of side by side.

Have a look at the help file for embedded objects in Lyx.

Hope this helps,
Hubert

-- 
Hubert Christiaen
Bloesemlaan 17
3360 Korbeek-Lo
Belgium   

Re: Using LyX for a book

[Konrad Hofbauer]

Anthony Campbell wrote:

I'm about to start setting up my fourth book in Lyx (1.6.1). My previous
three were done using the Book class in 1.5.x. Can someone kindly tell
me what would be the advantages of using Memoir (or point me to
somewhere that discusses this)?


All the bells and whistles the Memoir class offers.

See 

/Konrad

Graphics in LyX

[Doug Laidlaw]

I am trying to write a family history with LyX.  It won't be like a
scientific or mathematical treatise, or like a novel.  It will be a
narrative with photos and other graphics, each with a caption.

I have read what the Wiki says about the procedure for inserting floats, and
a couple of posts from others.  I am still totally confused.

I understand that I have "Caption" as an environment and "Figure Float" from
the pull-down menu.  There is something to the effect: "Write your caption;
click at the beginning of it, and insert your figure float there."  If I
type a caption, then select it and set it to be a Caption Environment, or
if I change the Environment to Caption, and type, there are no obvious cues
in or around the caption text.  When I insert the figure, the caption is
outside the figure float, and the line of text is level with the bottom
border, half to the left and half to the right.

If I create the Figure Float first, the environment selection is grayed out.
I cannot add a caption within the float.

Please, briefly, as a list of points, what are the steps?  Or is the job
just too much for LyX? At least one other struggling author came to that
conclusion.  I could probably do better with HTML, and have more control
over layout, without sacrificing the WYSIWYM principle.

Doug.

Re: Using LyX for a book

[Anthony Campbell]

On 15 Feb 2009, L Duperval wrote:
> On Sat, 14 Feb 2009 21:27:54 -0600, Les Denham wrote:
> 
> > On Saturday 14 February 2009 04:09:25 pm Typhoon wrote:
> >> Memoir comes with superb documentation. Have a careful look through it
> >> and you should find the answer to all of your problems.
> > 
> > I'll second that.  The Memoir documentation is beyond just
> > documentation: it is a superb monograph on page layout, book design, and
> > typography.
> > 
> > Les
> 
> 
> Thanks to all. I started RTFM'ing (duh!) and in the first pages of 
> chapter 5 I realized that I could use the [ebook] option to get what I 
> want. Everything is working now, as I expected.
> 
> Now, to sit down and actually write...
> 
> L
> 

I'm about to start setting up my fourth book in Lyx (1.6.1). My previous
three were done using the Book class in 1.5.x. Can someone kindly tell
me what would be the advantages of using Memoir (or point me to
somewhere that discusses this)?

Anthony


-- 
Anthony Campbell - a...@acampbell.org.uk 
Microsoft-free zone - Using Debian GNU/Linux
http://www.acampbell.org.uk (blog, book reviews, 
and sceptical articles)

Re: serious problems with LyX (semi-fatal crashes)

[Abdelrazak Younes]

Stefano Franchi wrote:


When I quit the application with CTRL-Q, I found this:

GuiClipboard.cpp(418): Qt Clipboard changed. We found the following mime 
types:

GuiClipboard.cpp(373): We found 0 formats
okular(10266)/kio (KDirWatch) KDirWatchPrivate::addEntry: Added Dir "/tmp" for 
"/tmp/lyx_tmpdir.Et9908" [""]
okular(10266)/kio (KDirWatch) KDirWatchPrivate::useINotify: trying to use 
inotify for monitoring
okular(10266)/kio (KDirWatch) KDirWatchPrivate::useINotify: inotify 
successfully used for monitoring


KDE is bringing in a lot of stuff on your back...


GuiClipboard.cpp(373): We found 0 formats
GuiClipboard.cpp(373): We found 0 formats
QClipboard::setData: Cannot set X11 selection owner for CLIPBOARD


This one looks like a compatibility problem between KDE clipboard 
management and LyX. But I don't think this is the cause of the problem.

[...]


#8 /usr/lib/kde4/plugins/styles/oxygen.so [0x7f7b81fc7bdc]
#9 /usr/lib/kde4/plugins/styles/oxygen.so [0x7f7b81fd2377]
#10 /usr/lib/kde4/plugins/styles/oxygen.so [0x7f7b81fd41b5]


I am tempted to incriminate the oxygen kde style... you could try to 
load another style and see if you can reproduce.


Abdel.