Lambda the Ultimate

I'm migrating my design and implementation notes away from plain text files, and I'm trying to decide between (1) HTML/MathML/FireMath (certainly some advantages for novel arrangement of documents as well as putting docs online) or (2) OpenOffice/EquationEditor (with other advantages,like nice TOC/Index/footnote generation) to which migrate my documents.

To clarify further, I imagine many/most folks on LtU are TeX folk.... BUT I used to be an old troff guy back in the day and never learned much about using TeX.

I've coming to the conclusion that mastering yet another markup language (especially using it "raw" with just an editor) 1) at my age and 2) given no academic or publisher TeX-demanding destination for my documents - TeX is likely not the way to go for me right now.

Anywho, I was just wondering if any LtU folk can recommend either of the above mentioned tool sets (over the other) for laying out set notation, lambda notation, logical quantifiers, brackets, and the other normal cruft found in language design/implementation style docs.

If there are other relatively short learning curve tool options I've neglected to consider, I'd love to know that too.

As always, many sincere thanks in advance.

S.