LyX is a document processor that encourages an approach to writing based on the structure of your documents (WYSIWYM) and not simply their appearance (WYSIWYG).
My favorite program for typesetting mathematical documents. Great forums where I can find answers to all my questions. Just great work! I would recommend it to anybody who typesets math.
small and efficient and gets the job done.