Skip to content
June 5, 2015 / porton

I’ve rewritten my book in LyX

Previously I wrote my research monograph with TeXmacs word processors.

TeXmacs is a very good program. However annoying bugs of TeXmacs (incorrect file “saved” status, failure to work well when multiple windows with the same document are opened, etc.) and also its slowness when working with a long (300 pages) document, forced me to switch to another software.

So I have rewritten my draft book with LyX word processor (based on LaTeX).

There are also small changes which I accomplished due rewriting:

  1. notatiton change 0 \rightarrow \bot and 1 \rightarrow \top for the least and the greatest element of a poset
  2. notatiton change \langle f \rangle X \rightarrow \langle f \rangle^\ast X for applying a function f to a set X; X \mathrel{[f]} Y \rightarrow X \mathrel{[f]^\ast} Y for existence of a point (x;y)\in X\times Y such that x \mathrel{f} y.
  3. other small changes

Now I am going to start the boring process of checking if I rewrite the book correctly, paragraph by pragraph.

Advertisements

2 Comments

Leave a Comment
  1. LHF / Aug 10 2015 08:17

    TeXmacs released new version (1.99.3) recently. It is a major version numbering increase. Not sure if you have tried to see if your problem is solved. I was googling for the comparison of LyX and TeXmacs – then bumped into your site. You mentioned few issues when working with TeXmacs, does those issues (long documents, etc.) appeared in LyX? Thanks.

  2. porton / Aug 10 2015 11:32

    No. LyX is fast enough (on my i7 PC) with long documents, maybe because LyX allows to split documents into several files.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: