Определение - (не начинать с это, называется и т.д.) нужно форматировать аккуратно и кратко!

Это просто абзац, чтобы дополнить тему. Всю математику техаем, даже отдельные буквы! Перевод строки ->
(ссылки делать так - тут про мат формулы)

Это еще один обзац, но уже для того, чтобы показать, как надо форматировать код. Переменные/функции и т.д. околачиваем в специальный символ (не в $!): a[i], QuickSort, <img>. Но это инлайн код. Вот как надо форматировать блоки:

function insertionSort(a):
  for i = 1 to n - 1
    j = i - 1
    while j ⩾ 0 and a[j] > a[j + 1] 
      swap(a[j], a[j + 1])
      j--

Определение

Тут пишем

Доказательство

Тут пишем

1. Первый элемент
2. Второй элемент
3. Третий элемент
4. Четвертый элемент

!TODO НАДО ЧТО-ТО СДЕЛАТЬ