preamble.tex

\documentclass[a4paper]{article}

\usepackage{cmap}
\usepackage[T2A]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[russian]{babel}

\usepackage{amsmath,amssymb,amsthm,mathtools}
\usepackage[OT1,euler-digits]{eulervm}
\theoremstyle{definition}

\usepackage{mdframed}
\newtheorem*{definition*}{Определение}
\newmdtheoremenv[backgroundcolor = gray!30]{lemma}{Лемма}[subsection]
\newmdtheoremenv[backgroundcolor = gray!30]{theorem}{Теорема}[subsection]
\newtheorem*{corollary*}{Следствие}
\newtheorem{corollary}{Следствие}[subsubsection]
\newtheorem{remark}{Замечание}
\newtheorem*{remark*}{Замечание}

\renewcommand{\thelemma}{\arabic{subsection}.\arabic{lemma}}
\renewcommand{\thetheorem}{\arabic{subsection}.\arabic{theorem}}
\renewcommand{\thecorollary}{\arabic{corollary}}

\usepackage{chngcntr}
\counterwithin*{equation}{lemma}
\counterwithin*{equation}{theorem}

\renewcommand{\qedsymbol}{$\blacksquare$}

\usepackage[left=1.25cm, right=1.25cm, top=1.5cm, bottom=2cm]{geometry}
\setlength{\parskip}{1ex}

\usepackage[table]{xcolor}
\newcommand{\HC}{\cellcolor{gray!30}}
\newcommand{\HR}{\rowcolor{gray!30}}
\usepackage{calc}

\renewcommand{\thesection}{\Roman{section}.}
\renewcommand{\thesubsection}{\S\arabic{subsection}.}
\renewcommand{\thesubsubsection}{\arabic{subsection}.\arabic{subsubsection}.}

\usepackage{fancyhdr}
\usepackage{etoolbox}

\pagestyle{fancy}
\addtolength{\headheight}{\baselineskip}
\renewcommand{\sectionmark}[1]{\markboth{\ifstrequal{#1}{}{}{\thesection\ #1}}{}}
\renewcommand{\subsectionmark}[1]{\markright{\ifstrequal{#1}{}{}{\thesubsection\ #1}}}
\fancyhead[L]{\rightmark}
\fancyhead[R]{\leftmark}


\usepackage{titlesec}
\titlespacing*{\subsection}{\parindent}{1em}{0.5em}
\titlespacing*{\subsubsection}{\the\dimexpr\parindent*2}{1em}{0.5em}

\usepackage{indentfirst}

\usepackage{hyperref}
\hypersetup{
    colorlinks,
    citecolor=black,
    filecolor=black,
    linkcolor=black,
    urlcolor=black
}

\usepackage{datetime}
\usepackage{wrapfig}
\usepackage{graphbox}
\usepackage{float}
\usepackage[export]{adjustbox}
\graphicspath{ {./images/} }
\title{%
    {\Huge Математическая логика, 2022} \\
    \vskip2ex \includegraphics[align=c, scale=0.02]{pac-man.png}\textbf{'\hskip0.5pt'\hskip0.5pt'} \textit{V.\,G.}
}
\date{Последнее изменение: \today\ \currenttime}

\usepackage{enumitem}

\usepackage{tikz}
\usetikzlibrary{positioning, calc}

\usepackage{expl3}
\usepackage{subfiles}