MathType - мощное средство для набора формул в документах. Работает совместно с любым текстовым редактором, включая MS Word. Кстати, тот редактор формул, что включен в Word, при ближайшем рассмотрении оказывается ни чем иным, как сильно усеченным вариантом MathType...