В последнее время я использую LyX — WYSIWYM-редактором. Мне в нем очень удобно набирать формулы — не надо постоянно тыкать мышкой как в Ворде, поддерживает различные способы ввода: например, для создания дроби можно напечатать «\frac», а можно воспользоваться сочетанием Alt+M,F.
Для отображения там используется свой движок, не обращающийся к MiKTeX, так что некоторые команды TeX он может не понимать, оставляя их в виде голого кода, но при компиляции, естественно, используется MiKTeX, и никаких проблем не возникает.
