Кратко

  • В RFC 1003 от марта 1987 года Alan Katz обсуждал общее представление уравнений для научных документов и электронной почты на фоне расширения сети NSF. Он предложил направление для будущего стандарта, а не готовый стандарт.
  • Предпочтительный для него вариант напоминал текстовый EQN: дроби, индексы и матрицы описывались бы по структуре, а необычные случаи получали точные координаты. Передавать требовалось вид уравнения, не заставляя наборщика понимать его математическое содержание.

Представим лабораторную рукопись на столе. Автор знает, что означает выражение. Наборщик знает, как оно должно выглядеть на странице. Почтовая программа знает только последовательность знаков. Пока все трое сидят рядом с одним оборудованием, разница почти не мешает. Как только документ отправляют коллеге с другой системой, верхний индекс превращается в переговоры между людьми, которые даже не знакомы. За клавиатурой у получателя начинается работа, которую отправитель считал законченной.

Katz описал эту ситуацию в мартовском RFC 1003. Электронная почта ARPANET существовала давно. National Science Foundation рассчитывала подключить больше исследователей через сеть суперкомпьютеров, а проект EXPRESS предполагал электронную отправку рукописей и заявок. Научный текст без формул мало годился для этой задачи. Однако общего способа представлять уравнения не было. Katz замечал, что стороны ещё спорили о том, что именно следует представлять: картинку, положение символов или математическое содержание.

Можно было послать исходный текст TeX, LaTeX либо EQN. Существующая почта без труда переносила такой файл, а обычный редактор позволял массово исправлять символы. Но ввод формулы становился похож на написание небольшой программы. Ошибка в синтаксисе обнаруживалась поздно; вид результата нередко приходилось проверять печатью или предварительным просмотром. Секретари и профессиональные наборщики часто знали нужный рисунок выражения, не разбираясь в его доказательстве. Заставлять их осваивать команды ради электронной отправки — странная экономия.

Системы непосредственного отображения давали противоположное удобство. Xerox STAR и VIEWPOINT показывали результат во время набора. Hockney's Egg, созданный на физическом факультете UCLA для IBM PC, позволял ставить знаки почти где угодно, вплоть до химических схем. Interleaf также оставлял много свободы. Но внутреннее представление могло зависеть от машины, быть закрытым или вообще неизвестным пользователю. Если каждый знак приходилось располагать вручную, свобода превращалась в бесконечную подгонку. Красивый экран ещё не обещал совместимого письма.

Macsyma и Reduce относились к другой семье: такие программы работали с математическими объектами, которые умели понимать. Katz отделил эту задачу от передачи печатного вида. Растровая картинка сохранит внешность, но займёт место и плохо поддастся правке. Список символов, шрифтов и координат сможет нарисовать всё, зато даже простую дробь придётся измерять. Структурная запись позволяет сказать «числитель над знаменателем», «нижний индекс», «матрица» или «растущая скобка», поручив обычное размещение программе.

Поэтому Katz осторожно предложил текст наподобие EQN с абсолютным и относительным позиционированием для исключений. Он признавал, что LaTeX тоже подошёл бы, хотя синтаксис EQN казался ему понятнее. Меморандум не объявлял победителя. Он требовал начать разговор о стандарте, который сумеет принять данные от разных редакторов и оставить человеку выбор удобного интерфейса. Katz отдельно предупреждал: смена шрифта иногда меняет математический смысл. В этой работе типографика не украшение.

Суть истории — разделение обязанностей. Учёный отвечает за значение, наборщик за вид, программа за расстановку, почта за доставку. Общая запись должна позволить каждому сделать свою часть. Иначе редактор открывает быстро доставленное письмо и получает старую работу в новой упаковке: собери формулу сам. Самая дорогая часть документа остаётся без билета.