46062 (Разметка математических документов), страница 2

литерал строки

Общая схема размещения :

изменение стиля

включение сообщения о синтаксической ошибке

при сохранении размера содержание становится невидимым

горизонтальная группировка любого числа подвыражений

формирование дроби из двух подвыражений

формирование знака квадратного корня (радикала без индекса)

формирование радикала с определенным индексом

Таблицы и матрицы :

таблица или матрица

строка в таблице или матрице

одно вхождение в таблицу или матрицу

3.2 Лексемы

В лексемы можно включать любое количество символов, в том числе позволительно

использовать лексемы без содержания.

3.2.1 - идентификаторы

Идентификаторы включают в себя переменные, имена функций и символьные константы.

Name values default font size number (points) in herited font weight plain|

bold in herited font slant plain |

italic automatic font family string in herited font color#rrggbb in herited

Идентификаторы символа Single по умолчанию выводятся в курсивном шрифте, символьные идентификаторы выводятся в ненаклонном шрифте.

x

π

D

sin

sin

⁡

x

Текст, который нужно обработать как символ, должен быть представлен в виде :

1

+

...

+

n

3.2.2 - номер

лексемы, в отличии от ,обычно представлены в ненаклонном шрифте.

2

0.123

1,000,000

2.1e10

3.2.3 - операторы

Лексемы, являющиеся операторами, относятся к типу .

+

≤

++

∑

.NOT.

3.2.4 - заграждающие метки

Согласованные пары заграждающих меток должны быть включены в качестве первого и последнего элементов в схему .

Рассмотрим примеры выражений, содержащих заграждающие метки:

(a + b)

(

a

+

b

)

[0,1)

[

0

,

1

)

3.2.1.4

Механизмы исполнения операторов и заграждающих меток идентичны и более сложны по сравнению с другими маркерами.

Многие математические символы типа интегрального символа, знака "+",круглых скобок и т.д. имеют заданные по умолчанию атрибуты, которые могут включаться в и схемы.

Многие операторы в каждой конкретной форме могут использоваться по-разному. Знак "+",например, в зависимости от ситуации может быть как префиксом, так и инфиксом.

Если оператор является первым подвыражением в и его длина превышает единицу, то используется префиксная форма; если же оператор является последним подвыражением в ,то правилами предусматривается использование постфиксной формы. Инфиксная форма для операторов, включенных в схему типа , не используется.

Если возникает ситуация выбора одной из нескольких форм и не дано никаких дополнительных указаний, то право ее остается за пользователем.

Существуют четыре атрибута, регулирующие соотношениями между размерами операторов, заграждающих меток и других элементов : stretchy, symmetric, maxsize и minsize. Например, если для символа maxsize="3", это означает, что его размеры могут превысить стандартные не более, чем в три раза.

Рассмотрим пример: установить максимальный размер круглой скобки.

(

ab

)

3.2.5 - текст

Лексема используется для представления текста нематематического характера.

Этот элемент часто используется для включения в документ "невидимых символов". Элементы, входящие в схемы типа , могут быть включены в схему типа .

&thickspace;

a

b

Примеры :

Theorem 1:

&thinspace;

&alignmentmarker;&thickspace;

/* a comment */

3.2.6 - пробелы

- пустой элемент, задающий пустое пространство любого желаемого размера.

3.2.7 - строковый литерал

используется для включения в выражения "строковых литералов". сокращает пробелы по умолчанию. Как правило, тексты, которые необходимо внедрить в математический документ, чаще включаются в схемы типа ,,,а не в схемы типа . Строковые литералы отображаются заключенными в двойные кавычки.

"" можно представить как :

there exists

δ

>

0

such that

f

⁡

(

x

)

<

1

3.3Общая схема размещения

Помимо лексем существует несколько семейств элементов представления MathML. Одно из таких семейств связано с различными схемами создания сценариев, другое - с таблицами и матрицами. Существуют элементы, с чьей помощью описываются основные схемы записи дробей, радикалов и т.д., происходит поиск и обработка ошибок и пр.

3.3.1 - изменения стиля

используется для внесения изменений в содержание.

Пример изменения размеров круглой скобки, записанный с использованием и , можно переписать с следующим образом:

(

ab

)

3.3.2 - включение сообщения об ошибках

Сообщение о синтаксической ошибке может быть произведено путем изменения фонового цвета, высвечивания изображения или подчеркивания ошибки красным цветом.

Задача этого элемента состоит в обеспечении механизма сообщения о синтаксических ошибках при совместной работе MathML с другими прикладными программами.

3.3.3.

может использоваться для выравнивания частей выражения и изменения позиций символов.

3.3.4 - горизонтальная группировка подвыражений

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

Пример может быть записан так:

2

⁢

x

+

y

-

z

3.3.5 - формирование дроби из двух подвыражений

numerator (знаменатель) denominator (числитель)

3.3.6 и - формирование радикалов

Схема используется для вывода квадратных корней, а схема - для вывода радикалов с индексами.

base

base index

3.4

Для лучшей фиксации абстрактной структуры записи MathML обеспечивает специализированную схему создания сценария.

Отметки представления используются описания структуры выражений.

может быть представлено в следующем виде:

(

x

+

y

)

2

3.4.1

base subscript

3.4.2

basesuperscript

3.4.3

base subscriptsuperscript

Интеграл при помощи можно записать следующим образом :

∫

0

1

ⅇ

x

⁢

ⅆ

x

3.4.4

base underscript

3.4.5

base overscript

3.4.6

base underscriptoverscript