Обозначения вынесены в math, переносы в language.

Author: gsvgit

tex/FormalLanguageConstrainedReachabilityLectureNotes.tex

@@ -16,25 +16,8 @@
 \usepackage{kaobiblio} % Обертка для biblatex, позволяет печатать сноску сбоку
 \addbibresource{FormalLanguageConstrainedReachabilityLectureNotes.bib}
 
-\newcommand*\circled[1]{\tikz[baseline=(char.base)]{
-            \node[shape=circle,draw,inner sep=2pt] (char) {#1};}}
-
-\newcommand*\Opt[1]{\textit{Opt}_{#1}}
-
-\newcommand*\mmult[1]{ \oplus \! \overset{#1}{.} \! \otimes }
-
-%\DeclareMathOperator{\Krond}{\setlength{\fboxsep}{0.25\fboxsep} \boxed{\oplus}^{\BbbB}}
-\newcommand*\Krond{\setlength{\fboxsep}{0.25\fboxsep} \, \boxed{\oplus}^{\BbbB} \,}
-\newcommand*\Kronf{\setlength{\fboxsep}{0.25\fboxsep} \, \boxed{\circ}^{\BbbB} \,}
-\newcommand\Kronw{\mathbin\ooalign{\hss$\square$\hss\cr$\circ$}}
-\newcommand\Kronq{\mathbin\ooalign{\hss$\square$\hss\cr$\oplus$}}
-
 \setcounter{margintocdepth}{\sectiontocdepth}
 
-\pghyphenation[]{russian}{%
-тео-ре-ти-ко-мно-жест-вен-ных
-}
-
 \tikzexternalize
 
 \title{О задачах анализа графов с использованием формальных языков в качестве ограничений на пути}

tex/part_02_Foundations/chapter_04_FormalLanguageTheoryIntro/01_SetOperations.tex

@@ -8,7 +8,7 @@ \section{Теоретико-множественные операции над 
     \item $\overline{L} = \{ \omega \mid \omega \in \Sigma^* \text{ и } \omega \notin L\} = \Sigma^* \setminus L$, где $L$~--- язык над алфавитом $\Sigma$ .
 \end{itemize}
 
-Многие прикладные задачи, в которых возникают формальные языки, достаточно естественным образом формулируются в \fixit{теоретико-множественных}{Вёрстка!} терминах.
+Многие прикладные задачи, в которых возникают формальные языки, достаточно естественным образом формулируются в теоретико-множественных терминах.
 Так, задача распознавания~--- это задача проверки принадлежности элемента множеству.
 Далее мы рассмотрим прикладные задачи, решение которых требует, например, проверки включения одного языка в другой, или проверки непустоты пересечения двух языков.
 Разрешимость таких задач, алгоритмы решения, их сложность и другие свойства, зависят от свойств языков.

tex/styles/language.tex

@@ -3,3 +3,8 @@
 \setotherlanguage{english}
 
 \usepackage[autostyle]{csquotes} % Правильные кавычки в зависимости от языка
+
+
+\pghyphenation[]{russian}{%
+тео-ре-ти-ко-мно-жест-вен-ных
+}

tex/styles/math.tex

@@ -9,6 +9,14 @@
 \newcommand{\first}[1][1]{\textsc{first}_{#1}}
 \newcommand{\follow}[1][1]{\textsc{follow}_{#1}}
 
+\newcommand*\circled[1]{\tikz[baseline=(char.base)]{
+            \node[shape=circle,draw,inner sep=2pt] (char) {#1};}}
+
+\newcommand*\Opt[1]{\textit{Opt}_{#1}}
+
+\newcommand*\mmult[1]{ \oplus \! \overset{#1}{.} \! \otimes }
+
+\newcommand*\kron[1]{ \boxtimes^{#1}}
 
 \newenvironment{scaledalign}[4]
   {