Изменения

# Убрать маркированный список из чисел, лучше просто отступ оставить

# "<<числу>>" {{---}} получше оформить

# Добавить примеры выполнения операций сложения, умножения и вычитания

# "\operatorname{not} = \lambda b\ .\ \operatorname{if} b\ \operatorname{false} \operatorname{true}" {{---}} пробел не отображается