fix: ◊math-ic

Author: ilammy

book-src/ch01-basics/05.03-environment-extend.poly.pm

@@ -56,13 +56,14 @@
 но~и точечным: заканчивающимся не~на~◊ic{()}, а~на определённый символ (◊term{точечную переменную}).
 Более формально список аргументов определяется следующей грамматикой:
 
+◊; TODO: согласуй шрифті для кириллического текста внутри формул
 ◊$${
 \def\is{\coloncolonequals}
 \def\slim#1{\kern{-0.5em}#1\kern{-0.5em}}
 \begin{array}{rcl}
 ◊non-term{список аргументов} & \slim\is & ◊math-ic{()}           \\
                              &     |    & ◊non-term{переменная}  \\
-                             &     |    & ◊math-ic{(}◊non-term{переменная}◊math-ic{ . }◊non-term{список аргументов}◊math-ic{)} \\
+                             &     |    & ◊math-ic{($◊non-term{переменная}$ . $◊non-term{список аргументов}$)} \\
 \\
        ◊non-term{переменная} & \slim\in & ◊Vset{Символы}
 \end{array}

book-src/ch01-basics/z1-conclusions.poly.pm

@@ -18,7 +18,7 @@
 
 ◊$${
 \begin{equation*}
-  \forall\pi \in ◊Vset{Программы}\colon L◊math-ic{(evaluate (quote }\pi◊math-ic{) env.global)} \equiv L\pi
+  \forall\pi \in ◊Vset{Программы}\colon L◊math-ic{(evaluate (quote $\pi$) env.global)} \equiv L\pi
 \end{equation*}
 }
 
@@ -36,11 +36,11 @@
 
 ◊; TODO: точно *нужно* делать формулой?
 ◊$${
-\begin{gathered}
-◊math-ic{(evaluate (quote }\pi◊math-ic{) env.global)} \\
+\begin{gather*}
+◊math-ic{(evaluate (quote $\pi$) env.global)} \\
 \equiv \\
-◊math-ic{(evaluate (quote (evaluate (quote }\pi◊math-ic{) env.global)) env.global)}
-\end{gathered}
+◊math-ic{(evaluate (quote (evaluate (quote $\pi$) env.global)) env.global)}
+\end{gather*}
 }
 
 Есть~ли другие решения приведённого выше уравнения?

book-src/ch02-lisp-1-2-omega/06.08-paradoxical-combinator.poly.pm

@@ -73,7 +73,7 @@
 Действительно, это ◊ic{fact} — ◊ic{(meta-fact fact)} вычисляет факториал,
 разве что несколько медленнее.
 Теперь предположим, что мы знаем неподвижную точку~◊${f} функции ◊ic{meta-fact}:
-◊${f = ◊math-ic{(meta-fact }f◊math-ic{)}}.
+◊${f = ◊math-ic{(meta-fact $f$)}}.
 Эта неподвижная точка по определению является решением следующего функционального уравнения относительно~◊${f}:
 
 ◊code:lisp{

book-src/ch05-denotational-semantics/01-lambda-calculus-review.poly.pm

@@ -43,7 +43,7 @@
 которые используют лишь одну специальную форму — ◊ic{lambda}:
 
 ◊$${
-x \qquad\qquad ◊math-ic{(lambda (}x◊math-ic{) }M◊math-ic{)} \qquad\qquad ◊math-ic{(}M◊math-ic{ }N◊math-ic{)}
+x \qquad\qquad ◊math-ic{(lambda ($x$) $M$)} \qquad\qquad ◊math-ic{($M$ $N$)}
 }
 
 ◊indexR{абстракция!редукция}

book-src/ch05-denotational-semantics/03-semantics-of-lambda-calculus.poly.pm

@@ -20,9 +20,9 @@
 ◊$${
   x
   \qquad\qquad
-  ◊math-ic{(lambda (}x◊math-ic{) }M◊math-ic{)}
+  ◊math-ic{(lambda ($x$) $M$)}
   \qquad\qquad
-  ◊math-ic{(}M◊math-ic{ }N◊math-ic{)}
+  ◊math-ic{($M$ $N$)}
 }
 
 Далее определим домены.