>>586
ispell じゃダメ?
Lyx は好き好き。emacs で十分では?

ところで、カリフォルニア工科大学+数理研だと、私が思いつくのは
一人だけなんですが。。。