Несколько слов по вопросу представления документов (для тех, кто сам играется в такие игры). В последнее время многие выкладывают книги с большим количеством формул в формате DjV. Говорят, что он компактней PDF. Мой опыт показывает, что это тезис сомнительный. Представленные здесь книги "тянут" в PDF "метров не десять", и в DjV они занимали бы нисколько не меньше. Но, в отличие от DjV (формата чисто графического), PDF (если он правильно сделан) индексируется многими поисковыми машинами наравне с HTML. Плюс к этому, полностью сохраняется оригинальное оформление книг, в то время как при переводе в HTML каждый должен быть "сам себе редактор" со всеми вытекающими отсюда неприятными последствиями.

Интересно, что при генерации PDF FineReader имеет возможность заменять "неуверенно распознанные" фрагменты их графическими изображениями. Это очень ускоряет правку (фактически приемлемый вид имеет уже нулевая редакция) и решает проблему строчных формул. Для полного счастия не хватает только возможности помечать определенные фрагменты как ошибочные и снимать такие маркеры (блок-картинка не является эквивалентом, строчную картинку периодически куда-то уносит). Может быть, в следующей версии? В общем, я за PDF, так как он экономит время, нервы и место на диске без уменьшения функциональности электронного текста. Самым большим его недостатком мне видится какая-то серьезная, но трудноуловимая ошибка локализации, из-за которой русские тексты часто копируются в буфер в виде "божьих коровок". Также я не знаю, как обстоит дело с копирайтами на такие документы. По совести, и знать не хочу.