MathML: базовый синтаксис

Переменные задаются в элементе <mi> (mi — math identifier), числа (целые и вещественные) определяются в элементе <mn> (mn — math number), для операторов используется элемент <mo> (mo — math operator):

<math display='block'>
  <mn>2</mn>
  <mi>x</mi>
  <mo>-</mo>
  <mi>y</mi>
  <mo>=</mo>
  <mn>0</mn>
</math>

2 x - y = 0

Верхний индекс определяется в элементе <msup> имеющий два аргумента — выражение и индекс:

<math>
  <msup>
    <mi>x</mi>
    <mn>2</mn>
  </msup>
  <mo>+</mo>
  <msup>
    <mi>y</mi>
    <mn>2</mn>
  </msup>
  <mo>=</mo>
  <msup>
    <mi>R</mi>
    <mn>2</mn>
  </msup>
</math>

x^{2} + y^{2} = R^{2}

Аналогично, нижний индекс определяется в элементе <msub>: $x_{0}$ .

Если переменная имеет и нижний и верхний индекс, то используется элемент <msubsup> содержащий три аргумента — переменную, нижний индекс и верхний индекс:

<math>
  <msubsup>
    <mi>x</mi>
    <mn>0</mn>
    <mn>2</mn>
  </msubsup>
</math>

x_{0}^{2}

Отметим, что при использовании элемента <msubsup> индексы будут располагаться друг над другом, в отличии от последовательного использования элементов <msub> и <msup>, где верхний индекс будет смещен вправо относительно нижнего индекса.

Элемент <msubsup> поддерживает два свойства subscriptshift и superscriptshift, определяющие смещение нижнего индекса вниз и верхнего индекса вверх относительно базисной линии, соответственно. Элемент <msub> поддерживает свойство subscriptshift, а элемент <msup> - свойство superscriptshift.

Если аргумент содержит несколько символов или сложное выражение, то он может быть объединен в одно выражение с помощью элемента <mrow>:

<math>
  <msup>
    <mrow>
      <mo>(</mo>
      <mi>x</mi>
      <mo>+</mo>
      <mi>y</mi>
      <mo>)</mo>
    </mrow>
    <mn>2</mn>
  <msup>
</math>

{(x + y)}^{2}

Квадратный корень от выражения дается элементом <msqrt>. Корень произвольной степени определяется в элементе <mroot>, первый аргумент определяет выражение, а второй аргумент — степень корня.

<math>
  <mroot>
    <mrow>
      <msup>
        <mi>x</mi>
        <mn>2</mn>
      </msup>
      <mo>+</mo>
      <mi>4</mi>
    </mrow>
    <mn>4</mn>
  </mroot>
  <mo>&ge;</mo>
  <msqrt>
    <mn>2</mn>
  </msqrt>
</math>

\sqrt[4]{x^{2} + 4} \geq \sqrt{2}

Дроби отображаются с помощью элемента <mfrac>. Первый аргумент является числителем, а второй знаменателем. Сложные аргументы задаются в элементе <mrow>. Элемент <mfrac> поддерживает следующие атрибуты:

linethickness — толщина дробной черты в единицах длины px, pt, em и т. д. Если указать нулевое значение, то дробная черта не отображается, что можно использовать, например, для отображения биноминальных коэффициентов.
numalign — выравнивание в числителе. Возможные значения: left (по левому краю), right (по правому краю), center (по центру).
denomalign — выравнивание в знаменателе. Возможные значения: left (по левому краю), right (по правому краю), center (по центру).
bevelled — отображение дроби вертикально (false, значение по умолчанию) или в виде наклонной черты (true).

<math>
  <mfrac>
    <mn>1</mn>
    <mi>x</mi>
  </mfrac>
  <mo>=</mo>
  <mfrac linethickness='3pt'>
    <mn>1</mn>
    <mi>x</mi>
  </mfrac>
  <mo>=</mo>
  <mfrac bevelled='true'>
    <mn>1</mn>
    <mi>x</mi>
  </mfrac>
  <mo>&ne;</mo>
  <mfrac numalign='right'>
    <mn>1</mn>
    <mrow>
      <mi>x</mi>
      <mo>+</mo>
      <mi>y</mi>
    </mrow>
  </mfrac>
</math>

\frac{1}{x} = \frac{1}{x} = \frac{1}{x} \neq \frac{1}{x + y}

Суммируем полученные в этой статье знания по базовым возможностям MathML решением квадратного уравнения $a x^{2} + b x + c = 0$ :

<math>
  <msub>
    <mi>x</mi>
    <mrow>
      <mn>1</mn>
      <mo>,</mo>
      <mn>2</mn>
    </mrow>
  </msub>
  <mo>=</mo>
  <mfrac>
    <mrow>
      <mo>-</mo>
      <mi>b</mi>
      <mo>&plusmn;</mo>
      <msqrt>
        <mrow>
          <msup>
            <mi>b</mi>
            <mn>2</mn>
          </msup>
          <mo>-</mo>
          <mn>4</mn>
          <mi>a</mi>
          <mi>c</mi>
        </mrow>
      </msqrt>
    </mrow>
    <mrow>
      <mn>2</mn>
      <mi>a</mi>
    </mrow>
  </mfac>
</math>

x_{1, 2} = \frac{- b \pm \sqrt{b^{2} - 4 a c}}{2 a}