Transition to new format

This commit is contained in:
2023-05-25 21:44:07 -07:00
parent 3d73626bc4
commit 83b273fbd3
29 changed files with 483 additions and 471 deletions

View File

@ -8,15 +8,14 @@
% for \coloneqq, a centered :=
\usepackage{mathtools}
\begin{document}
\maketitle
<Advanced 2>
<Spring 2023>
{Definable Sets}
{
Prepared by Mark on \today
}
\uptitlel{Advanced 2}
\uptitler{Spring 2023}
\title{Definable Sets}
\subtitle{Prepared by Mark on \today{}}
\begin{document}
\maketitle
\input{parts/0 logic.tex}
\input{parts/1 structures.tex}