(no subject)

А вот жалко, что нет хорошего редактора для математических текстов, вроде ворда.

Чтобы пишешь какое-нибудь предложение, а он его подчеркивает волнистой линией и при нажатии на правую кнопку говорит, что "пропущена запятая после пропущено условие непрерывности на функцию f". Ну или в сложных случаях "возможно утверждение неправильно. Попробуйте сформулировать его в меньшей общности или разбить на несколько лемм". Да, а еще обязательно по любому поводу "это утверждение зависит от аксиомы выбора. Если Вы допускаете неконструктивные выражения в Вашем тексте, отключите эту опцию".