\documentclass[12pt]{book}

\usepackage{amssymb}
\setcounter{tocdepth}{3}
\usepackage{graphicx}
\usepackage{mathpartir}
\usepackage[english]{babel}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}

\usepackage{url}

\usepackage{hyperref}

\newcommand\mname[1]{{\mathsf{#1}}}
\newcommand\unicdcdgdad{\not=}
\newcommand\unicdcdcdbg{\cup}
\newcommand\unicdcdbdgd{\setminus}
\newcommand\unicdcdcdjd{\cap}
\newcommand\unicdcdadad{\forall}
\newcommand\unicdbdjdcd{\rightarrow}
\newcommand\unicdcdadjd{\notin}
\newcommand\unicdbdjded{\Leftrightarrow}
\newcommand\unicdcdcdid{\lor}
\newcommand\unicdcdcdhd{\land}
\newcommand\uniddcgcg{\lambda}
\newcommand\unicdcdaddd{\exists}
\newcommand\unicdcdidid{\not\subseteq}
\newcommand\unicdcddedd{\bigcup}
\newcommand\uniadadcdcg{\oplus}
\newcommand\unicdcdbdbd{\Sigma}
\newcommand\unicdbgcdgg{\times}
\newcommand\unicdcdadgg{\Pi}
\newcommand\unicdcdgded{\leq}
\newcommand\preoh[1]{\lnot #1}
\newcommand\prenc[1]{- #1}
\newcommand\posthc[1]{#1\prime}
\newcommand\posthchc[1]{#1\prime\prime}
\newcommand\postnc[1]{#1^{-}}
\newcommand\postkdnckd[1]{#1^{-}}
\newcommand\infpcmf{\land}
\newcommand\infmfpc{\lor}
\newcommand\infmdncod{\Leftrightarrow}
\newcommand\infnd{=}
\newcommand\infmdod{\not=}
\newcommand\bindfgihjgdhehdh{\exists}
\newcommand\infpckdfg{\not\in}
\newcommand\infkdmfpckd{\cup}
\newcommand\infmfpcpf{\bigcup}
\newcommand\bindmfpcpf{\bigcup}
\newcommand\infkdpcmfkd{\cap}
\newcommand\infkdmfkd{\setminus}
\newcommand\infpcdgnd{\not\subseteq}
\newcommand\inflc{+}
\newcommand\infkc{*}
\newcommand\infof{\uparrow}
\newcommand\infkdlckd{\oplus}
\newcommand\binddfjghgngbgpf{\Sigma}
\newcommand\infkdkckd{\times}
\newcommand\bindafjgpf{\Pi}
\newcommand\infkdofkd{\upharpoonleft}
\newcommand\infmd{<}
\newcommand\infmdnd{\leq}
\newcommand\infkdpckd{\div}
\newcommand\prekdnckd[1]{- #1}
\newcommand\mif[3]{{\mathsf{if}}~#1~{\mathsf{then}}~#2~{\mathsf{else}}~#3}
\newtheorem{axiom}{Axiom}[chapter]
\newtheorem{exercise}{Exercise}[chapter]
\newtheorem{theorem}{Theorem}[chapter]
\newtheorem{lemma}{Lemma}[chapter]
\newtheorem{proposition}{Proposition}[chapter]
\newtheorem{remark}{Remark}[chapter]
\newtheorem{definition}{Definition}[chapter]
\newtheorem{example}{Example}[chapter]
\newtheorem{conjecture}{Conjecture}[chapter]

\begin{document}

\title{Formal Objects and Propositions in Megalodon as of February 2021}
\author{Chad E. Brown}
\date{Draft of {\today}}
\maketitle

\tableofcontents

\input{preface}
\input{chap1}
\input{eq}
\input{ex}
\input{furthprimax}
\input{basics1}
\input{sets1}
\input{nats1}
\input{ordinals1}
\input{sizecompare}
\input{misc1}
\input{descr1}
\input{inrec}
\input{descr2}
\input{classlevel}
\input{zermelo}
\input{morelogic}
\input{nats2}
\input{nats3}
\input{disjunions}
\input{pairing}
\input{surreal1}
\input{structs1}
\input{quotients}
\input{explnums}
\input{groups}
\input{rings}
\input{explreals1}
\input{rings2}
\input{explreals2}
\input{surreal2}

\end{document}
