1.4.2 LaTeX – типографическая разметка
Набор математических формул всегда считался вершиной типографского искусства. Дело в том, что формулы, для концентрации информации и дополнительной выразительности по сравнению с обычным текстом, являются многоуровневыми. Д. Э. Кнут к своей программе компьютерной типографии создал и язык для описания формул. После короткого периода обучения пользователь в состоянии читать и набирать на этом языке формулы практически любой сложности. LaTeX — не единственная программная среда, использующая TeXнотацию. Эта же нотация рекомендуется при наборе всех сколько-нибудь сложных формул на страницах Википедии.
Становлению TeX как стандарта для набора формул в значительной степени поспособствовало Американское математическое сообщество (The American Mathematical Society — AMS), которое субсидировало разработку расширения TeX, известного как AMSTeX, в начале восьмидесятых годов прошлого столетия. В 1987 году наработки AMSTeX были добавлены в LaTeX в виде пакета amsmath. Вместе с amsmath в LaTeX было добавлено множество улучшений, позволяющих набирать действительно изощрённую математику. Поэтому при использовании в тексте математики в шапке документа следует в обязательном порядке загружать пакет amsmath:
\usepackage{amsmath}
При формировании текста формулы подразделяются на строчные и выносные. Строчные формулы набираются внутри абзаца вместе текстом. По описанию формулы LaTeX создаёт бокс, который обрабатывается наравне с обычными текстовыми боксами. Как правило, строковые формулы это небольшие вставки, вроде E=mc2. Выносные или выключенные формулы выводятся за пределы абзаца.
Строчная формула в тексте ограничивается с помощью символа доллара $«формула»$ или с помощью команд-скобок \(«формула»\). При наборе предпочтительнее использовать второй вариант оформления, так как он позволяет легко определить, где начинается, а где кончается формула. «Долларовое» ($) окружение лучше тем, что оно чуть-чуть короче, кроме этого, команда $ крепкая, в отличие от команд-скобок.
Однострочные выносные формулы формируются с помощью окружения equation. Так как в этом случае формула вынесена за пределы абзаца, то её можно пронумеровать. Данный пример изображен на рисунке 1.2.
\
begin{equation}
\label{eq:math:ex1}
\int\limits_{-\infty}^{\infty}
e^{-x^2/2}dx=\sqrt{2\pi}
\end{equation}
Рисунок 1.2 – Пример LaTeX-разметки математического текста
LaTeX имеет несколько стилей для оформления математических формул. При желании можно выбрать необходимый стиль вручную:
\displaystyle — стиль, используемый для выносных формул,
\textstyle — стиль строчных формул,
\scriptstyle — в этом стиле набираются индексы,
\scriptscriptstyle — индексы второго уровня.
LaTeX содержит еще множество инструментов для разметки математических формул, однако рассматривать их все не целесообразно [12].
Таким образом, проанализировав особенности этих двух языков, становится ясно, что они оба хороши для представления математических формул. Однако LaTeX в отличии от MathML не имеет возможности для описания внутренней структуры и семантики формул. Также MathML продолжает поддерживается ведущими интернет-браузерами и продвигается консорциумом W3C как стандарт представления математических текстов в интернете. Следовательно, MathML был выбран языком представления математических текстов разрабатываемого компонента.