inpreamble.tex

\usepackage{mathrsfs}
\usepackage{twemojis}
\usepackage{myunixode}
\usepackage[normalem]{ulem}
\usepackage{scrlayer-scrpage}
\automark{section}
\newcommand{\copyrightnotice}{\footnotesize\copyright\ 2023 Daniel J. Velleman.  Short excerpts from
\href{https://doi.org/10.1017/9781108539890}{\textit{How To Prove It}},\\
published by Cambridge Univ. Press, reprinted with permission.}
\newcommand{\longcopyrightnotice}{\footnotesize\copyright\ 2023 Daniel J. Velleman.\\
Short excerpts from Daniel J. Velleman,
\href{https://doi.org/10.1017/9781108539890}{\textit{How To Prove It: A Structured Approach, 3rd Edition}}\\
\copyright\ Daniel J. Velleman 2019, published by Cambridge University Press, reprinted with permission.}
\setkomafont{pagefoot}{\upshape}
\ifoot*{\longcopyrightnotice}
\cfoot*{}
\ofoot*{\pagemark}

\makeatletter
\def\redsquiggly{\bgroup \markoverwith{\textcolor{red}{\lower3.5\p@\hbox{\sixly \char58}}}\ULon}
\def\brownsquiggly{\bgroup \markoverwith{\textcolor[HTML]{B8860B}{\lower3.5\p@\hbox{\sixly \char58}}}\ULon}
\def\bluesquiggly{\bgroup \markoverwith{\textcolor[HTML]{1E90FF}{\lower3.5\p@\hbox{\sixly \char58}}}\ULon}
\makeatother

\renewcommand{\NormalTok}[1]{\textcolor[HTML]{000000}{#1}}
\renewcommand{\KeywordTok}[1]{\textcolor[HTML]{0000FF}{#1}}
\renewcommand{\SpecialCharTok}[1]{}
\renewcommand{\ErrorTok}[1]{\redsquiggly{#1}}
\renewcommand{\WarningTok}[1]{\redsquiggly{\textcolor[HTML]{0000FF}{#1}}}
\renewcommand{\StringTok}[1]{\textcolor[HTML]{A52A2A}{#1}}
\renewcommand{\CommentTok}[1]{\textcolor[HTML]{008000}{#1}}
\renewcommand{\InformationTok}[1]{\textcolor[HTML]{D2691E}{\textbf{#1}}}
\renewcommand{\RegionMarkerTok}[1]{▼\:\textcolor[HTML]{008000}{\textbf{#1}}}
\renewcommand{\SpecialStringTok}[1]{\textcolor[HTML]{4682B4}{\textbf{#1}}}
\renewcommand{\ConstantTok}[1]{\textcolor[HTML]{DC143C}{#1}}
\renewcommand{\AnnotationTok}[1]{\brownsquiggly{#1}}
\renewcommand{\AlertTok}[1]{\brownsquiggly{\textcolor[HTML]{0000FF}{#1}}}
\renewcommand{\OtherTok}[1]{\bluesquiggly{#1}}
\renewcommand{\DocumentationTok}[1]{\bluesquiggly{\textcolor[HTML]{0000FF}{#1}}}

\newenvironment{ind}
	{\begin{list}{}{\setlength{\leftmargin}{1em}}\item\relax}
	{\end{list}}

%redefines Shaded so it can't break
\newcommand{\nobreakShaded}{\renewenvironment{Shaded}
	{\begin{tcolorbox}[frame hidden, enhanced, interior hidden, boxrule=0pt,
		borderline west={3pt}{0pt}{shadecolor}, sharp corners]}
	{\end{tcolorbox}}}

%Make end of environment ignore pars that come after it
\def\useignorespacesandallpars#1\ignorespaces\fi{%
#1\fi\ignorespacesandallpars}

\makeatletter
\def\ignorespacesandallpars{%
  \@ifnextchar\par
    {\expandafter\ignorespacesandallpars\@gobble}%
    {}%
}
\makeatother

\newenvironment{inpt}
	{\nobreakShaded\noindent\begin{minipage}[t]{0.63\textwidth}
		\uline{Lean File}}
	{\end{minipage}\hfill\useignorespacesandallpars}

\newenvironment{outpt}
	{\nobreakShaded\begin{minipage}[t]{0.32\textwidth}
		\uline{Tactic State in Infoview}}
	{\end{minipage}}

\newenvironment{bef}
	{\nobreakShaded\noindent\begin{minipage}[t]{0.475\textwidth}
		\uline{Tactic State Before Using Strategy}}
	{\end{minipage}\hfill\useignorespacesandallpars}

\newenvironment{aft}
	{\nobreakShaded\begin{minipage}[t]{0.475\textwidth}
		\uline{Tactic State After Using Strategy}}
	{\end{minipage}}

\newenvironment{numex}[1]
	{\begin{minipage}[t]{0.04\textwidth}\vspace{8pt}{#1}.
		\end{minipage}\nobreakShaded\begin{minipage}[t]{0.96\textwidth}\vspace{0pt}}
	{\end{minipage}}

\newenvironment{mdsk}
	{\medskip}
	{}

\newenvironment{absnobreak}
  {\par\nobreak\vfil\penalty0\vfilneg
   \vtop\bgroup}
  {\par\xdef\tpd{\the\prevdepth}\egroup
   \prevdepth=\tpd}

\newcommand{\excl}[1]{}
\newcommand{\incl}[1]{#1}

\newcommand{\setmin}{\mathbin{\backslash}}
\newcommand{\symmdiff}{\mathbin{∆}}

\pagenumbering{roman}  %So front matter uses roman numerals.  Switch back to arabic at beginning of preface.
\publishers{\longcopyrightnotice}