% alounsburymacros.sty 1.03 2024/2/27
% Andrew Lounsbury
% This file was not generated from source code.
% This software is contributed to the public domain.
% Marking this file as a package
\NeedsTeXFormat{LaTeX2e}
\ProvidesPackage{mymacros}[2024/2/27 1.0.3 miscellaneous commands]
% This allows commands that use things from these packages to work even if we
% haven't put them in \usepackage{} in the preamble.
\RequirePackage{forloop, mathrsfs, mathtools, nicefrac, xcolor}
% Otherwise, we could list packages we often use to avoid having to include them
% in the preamble of our tex files.
% * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
% In other words, the use of \usepackage{} for packages other than mymacros at the *
% beginning of LaTeX_for_Undergraduates.tex is merely there for the sake of example.*
% * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
\RequirePackage{amsmath, amsfonts, amssymb, amsthm, cancel, calligra, enumitem, fancyvrb, fontenc, graphicx, istgame, multicol, pagecolor, pifont, soul, totcount, upgreek, ulem, verbatim, verse}
\PassOptionsToPackage{T1}{fontenc}
\PassOptionsToPackage{normalem}{ulem}
% GENERAL COMMANDS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% From enumitem package
% Fixing indentation in enumerate and itemize environments
\setlist{
listparindent=\parindent,
parsep=0pt,
}
% For <...> options in LaTeX_for_Undergraduates.tex
\newcommand*{\opt}[1]{$\langle$\textit{#1}$\rangle$}
\newcommand*{\mopt}[1]{\text{$\langle$\textit{#1}$\rangle$}}
% Troubleshooting
\newcommand{\ee}{\end{enumerate}}
\newcommand{\ed}{\end{document}}
% LaTeX Workshop autocompletes \par to \paragraph{}, which gets annoying.
\newcommand{\p}{\par}
% \renewcommand overrides a command that has already been defined.
% In the proof environment, \qedsymbol defaults to a white square.
% I prefer a black square, so I change it here.
\renewcommand{\qedsymbol}{$\blacksquare$}
% but these allow me to easily change it to other things
\newcommand{\whiteqed}{\renewcommand{\qedsymbol}{$\square$}}
\newcommand{\noqed}{\renewcommand{\qedsymbol}{}}
% Environments -----------------------------------------------------------------
% Creating \begin{...} \end{...} environments with a few defaults provided by
% \newtheorem
% * removes numbering
% The first {} contains the name of the environment.
% The second {} contains what will be displayed.
\newtheorem{claim}{Claim} % numbered
\newtheorem*{claim*}{Claim} % not numbered
\newtheorem{conjecture}{Conjecture}
\newtheorem*{conjecture*}{Conjecture}
\newtheorem{corollary}{Corollary}
\newtheorem*{corollary*}{Corollary}
\newtheorem{lemma}{Lemma}
\newtheorem*{lemma*}{Lemma}
\newtheorem{note}{Note}
\newtheorem{problem}{Problem}
\newtheorem{proposition}{Proposition}
\newtheorem*{proposition*}{Proposition}
\newtheorem{theorem}{Theorem}
\newtheorem*{theorem*}{Theorem}
\theoremstyle{definition} % removes italics from the following
\newtheorem{axiom}{Axiom}
\newtheorem*{axiom*}{Axiom}
\newtheorem{case}{Case}
\newtheorem{counterexample}{Counterexample}
\newtheorem*{counterexample*}{Counterexample}
\newtheorem{definition}{Definition}
\newtheorem*{definition*}{Definition}
\newtheorem{definitions}{Definitions}
\newtheorem*{definitions*}{Definitions}
\newtheorem{example}{Example}
\newtheorem*{example*}{Example}
\newtheorem{examples}{Examples}
\newtheorem*{examples*}{Examples}
\newtheorem{nonexample}{Non-Example}
\newtheorem*{nonexample*}{Non-Example}
\newtheorem{fact}{Fact}
\newtheorem*{fact*}{Fact}
\newtheorem{notation}{Notation}
\newtheorem*{notation*}{Notation}
\theoremstyle{remark} % italicized title, upright text
\newtheorem{remark}{Remark}
\newtheorem*{remark*}{Remark}
% Don't use these \newtheorem environments.
% Use the \newenvironment's below.
\newtheorem*{pfcases}{Proof by Cases}
\newtheorem*{pfcontradiction}{Proof by Contradiction}
\newtheorem*{pfcombinatorial}{Proof (Combinatorial)}
\newtheorem*{pfcontrapositive}{Proof by Contrapositive}
\newtheorem*{pfdirect}{Proof (Direct)}
\newtheorem*{pfinduction}{Proof by Induction}
% Proof environments with the technique specified
\newenvironment*{pfca}
{\pushQED{\qed}\pfcases}
{\popQED\endpfcases}
\newenvironment*{pfcd}
{\pushQED{\qed}\pfcontradiction}
{\popQED\endpfcontradiction}
\newenvironment*{pfco}
{\pushQED{\qed}\pfcombinatorial}
{\popQED\endpfcombinatorial}
\newenvironment*{pfcp}
{\pushQED{\qed}\pfcontrapositive}
{\popQED\endpfcontrapositive}
\newenvironment*{pfd}
{\pushQED{\qed}\proof}
{\popQED\endpfdirect}
\newenvironment*{pfi}
{\pushQED{\qed}\pfinduction}
{\popQED\endpfinduction}
% Color-coded environments
\definecolor{darkpastelgreen}{rgb}{0.01, 0.75, 0.24}
\definecolor{ballblue}{rgb}{0.13, 0.67, 0.8}
\theoremstyle{plain} % adds italics to the following
\newtheorem*{cconjecture*}{\colorbox{orange}{Conjecture}}
\newtheorem{ccorollary}{\colorbox{orange}{Corollary}}
\newtheorem*{ccorollary*}{\colorbox{orange}{Corollary}}
\newtheorem{clemma}{\colorbox{orange}{Lemma}}
\newtheorem*{clemma*}{\colorbox{orange}{Lemma}}
\newtheorem{cnote}{\colorbox{blue}{Note}}
\newtheorem{cproposition}{\colorbox{pink}{Proposition}}
\newtheorem*{cproposition*}{\colorbox{pink}{Proposition}}
\newtheorem{ctheorem}{\colorbox{pink}{Theorem}}
\newtheorem*{ctheorem*}{\colorbox{pink}{Theorem}}
\theoremstyle{definition} % removes italics from the following
\newtheorem{ccase}{Case}
\newtheorem*{cfact*}{\colorbox{cyan}{Fact}}
\newtheorem{cexample}{\colorbox{darkpastelgreen}{Example}}
\newtheorem*{cexample*}{\colorbox{darkpastelgreen}{Example}}
\newtheorem{cnonexample}{\colorbox{darkpastelgreen}{Non-Example}}
\newtheorem*{cnonexample*}{\colorbox{red}{Non-Example}}
\newtheorem*{cremark*}{\colorbox{cyan}{Remark}}
%-----------------------------------------------------------------
% For double row separators in arrays
\newcommand{\hhline}{\hline\hline}
% For inductive proofs and recursive definitions
\newcommand{\bc}{\textbf{\underline{Base case}: }}
\newcommand{\ind}{\textbf{\underline{Induction step}: }}
\newcommand{\basis}{\textbf{\underline{Basis}: }}
\newcommand{\rec}{\textbf{\underline{Recursive step}: }}
% Ways to avoid \text{} in display-math
\newcommand{\as}{\text{ as}\ }
\newcommand{\bec}{\text{ because}\ }
\newcommand{\but}{\text{ but}\ }
\newcommand{\const}{\text{ const}\ }
\newcommand{\countable}{\text{ countable}\ }
\newcommand{\each}{\text{ each}\ }
\newcommand{\et}{\text{ and}\ }
\newcommand{\for}{\text{ for}\ }
\newcommand{\some}{\text{ some}\ }
\newcommand{\fs}{\text{ for some}\ }
\newcommand{\on}{\text{ on}\ }
\newcommand{\ona}{\text{ on a}\ }
\newcommand{\ow}{\text{o/w}\ } % otherwise
\newcommand{\suchthat}{\text{s.t.}\ } % such that
\newcommand{\mst}{\text{ s.t.}\ } % math such that
\newcommand{\ou}{\text{ or}\ }
\renewcommand{\over}{\text{ over}\ }
\newcommand{\alors}{\text{ so}\ }
\newcommand{\tms}{\text{ times}\ } % for \underbrace{...}_{n times}
\newcommand{\undef}{\text{undef.}\ }
\newcommand{\with}{\text{ with}\ }
\newcommand{\where}{\text{ where}\ }
\newcommand{\wrt}{\text{ with respect to}\ }
% Things to stack on =, <, \le, etc.
\newcommand{\lh}{\stackrel{\text{\tiny L'H}}} % L'Hôpital's Rule
\newcommand{\pf}{\stackrel{\text{\tiny PF}}} % Pascal's Formula
\newcommand{\ti}{\stackrel{\text{\tiny TI}}} % Triangle Inequality
\newcommand{\one}{\stackrel{\text{\tiny \ensuremath{(1)}}}}
\newcommand{\two}{\stackrel{\text{\tiny \ensuremath{(2)}}}}
\newcommand{\three}{\stackrel{\text{\tiny \ensuremath{(3)}}}}
% Black-board bold
\newcommand{\C}{\mathbb{C}} % complex numbers
\newcommand{\F}{\mathbf{F}} % bold F
\newcommand{\N}{\mathbb{N}} % natural numbers
\newcommand{\bP}{\mathbb{P}}
\newcommand{\Q}{\mathbb{Q}} % etc.
\newcommand{\R}{\mathbb{R}}
\newcommand{\W}{\mathbb{W}}
\newcommand{\Z}{\mathbb{Z}}
% Miscellaneous
\newcommand{\bs}{\boldsymbol}
\newcommand{\f}{\frac} % \f{numerator}{denominator}
\newcommand{\inv}{^{-1}}
\newcommand*{\lcm}[1]{\mathrm{lcm}\left\{#1\right\}} % least common multiple
\newcommand{\mbf}{\mathbf} % math bold face
\newcommand*{\ol}[1]{\overline{#1}}
\newcommand*{\ttt}[1]{\texttt{#1}}
\newcommand*{\unl}[1]{\underline{#1}}
\newcommand{\vn}{\varnothing}
\newcommand{\wt}{\widetilde}
% My notations
\newcommand*{\ine}[1]{{\in_{#1}}}
\newcommand*{\msum}[3]{\sum\limits_{#1=#2}^{#3}} % my sum
\newcommand*{\mprod}[3]{\prod\limits_{#1=#2}^{#3}} % my prod
\newcommand*{\mcap}[3]{\cap_{#1=#2}^{#3}} % etc.
\newcommand*{\mcup}[3]{\cup_{#1=#2}^{#3}}
\newcommand*{\mbcap}[3]{\bigcap\limits_{#1=#2}^{#3}}
\newcommand*{\mbcup}[3]{\bigcup\limits_{#1=#2}^{#3}}
\newcommand*{\mset}[4]{\left\{#1\right\}_{#2=#3}^{#4}}
% Default infinity for the upper bounds
\newcommand*{\msumi}[2]{\msum{#1}{#2}{\infty}}
\newcommand*{\mprodi}[2]{\mprod{#1}{#2}{\infty}}
\newcommand*{\mcapi}[2]{\mcap{#1}{#2}{\infty}}
\newcommand*{\mcupi}[2]{\mcup{#1}{#2}{\infty}}
\newcommand*{\mbcapi}[2]{\mbcap{#1}{#2}{\infty}}
\newcommand*{\mbcupi}[2]{\mbcup{#1}{#2}{\infty}}
\newcommand*{\mseti}[3]{\mset{#1}{#2}{#3}{\infty}}
\newcommand{\bcup}{\bigcup\limits}
\newcommand{\bcap}{\bigcap\limits}
\newcommand{\Int}{\int\limits}
\newcommand{\Prod}{\prod\limits}
\newcommand{\Sum}{\sum\limits}
% Package-specific
\newcommand{\nf}{\nicefrac} % nicefrac
\newcommand{\cmark}{\ding{51}\ } % pifont
\newcommand{\xmark}{\ding{55}\ }
\newcommand*{\cb}[2]{\colorbox{#1}{#2}} % xcolor
\newcommand*{\cbb}[1]{\colorbox{blue}{#1}}
\newcommand*{\cbr}[1]{\colorbox{red}{#1}}
\newcommand{\cbg}{\cb{darkpastelgreen}}
\newcommand*{\cby}[1]{\colorbox{yellow}{#1}}
\newcommand*{\tc}[2]{\textcolor{#1}{#2}}
\newcommand*{\tcb}[1]{\textcolor{blue}{#1}}
\newcommand{\tcg}{\tc{darkpastelgreen}}
\newcommand*{\tcr}[1]{\textcolor{red}{#1}}
% math mode
\newcommand*{\mcb}[2]{\colorbox{#1}{$#2$}}
\newcommand*{\mcbb}[1]{\colorbox{blue}{$#1$}}
\newcommand*{\mcbr}[1]{\colorbox{red}{$#1$}}
\newcommand*{\mcby}[1]{\colorbox{yellow}{$#1$}}
\newcommand*{\mtc}[2]{\textcolor{#1}{$#2$}}
\newcommand*{\mtcb}[1]{\textcolor{blue}{$#1$}}
\newcommand*{\mtcr}[1]{\textcolor{red}{$#1$}}
\DeclareOption{b}{
\pagecolor{black}
\color{white}
}
\DeclareOption*{\PackageWarning{mymacros}{Unknown '\CurrentOption'}}
\ProcessOptions\relax
%--------------------------------------------------------------------------
% Polish notation for responsive block delimiters
\newcommand*{\abs}[1]{\left\lvert#1\right\rvert} % absolute value
\newcommand*{\ceil}[1]{\left\lceil#1\right\rceil} % ceiling
\newcommand*{\floor}[1]{\left\lfloor#1\right\rfloor} % floor
\newcommand*{\mang}[1]{\left<#1\right>} % my angle bracket
\newcommand*{\mbrack}[1]{\left[#1\right]} % my bracket
\newcommand*{\mpar}[1]{\left(#1\right)} % my parentheses
\newcommand*{\norm}[1]{\left\lVert#1\right\rVert} % norm
\newcommand*{\bpar}[1]{\boldsymbol(#1\boldsymbol)}
% \Mid is a very useful extensible \mid from the mathtools documentation
% (originally \given)
% just to make sure it exists
\providecommand\Mid{}
% can be useful to refer to this outside \set
\newcommand\SetSymbol[1][]{%
\nonscript\:#1\vert%
\allowbreak%
\nonscript\:%
\mathopen{}%
}
\DeclarePairedDelimiterX{\set}[1]\{\}{%
\renewcommand\Mid{\SetSymbol[\delimsize]}%
#1%
}
%-------------------------------------------------------------------------
% ALGEBRA
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\renewcommand{\O}{\mathcal{O}}
% ALGEBRAIC GEOMETRY %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newcommand{\V}{\mathbf{V}}
\newcommand{\I}{\mathbf{I}}
\newcommand{\Va}{\V_a}
\newcommand{\Ia}{\I_a}
\newcommand*{\VaI}[1]{\V_a(\I(#1))}
\newcommand*{\IaV}[1]{\I_a(\V(#1))}
\newcommand*{\VI}[1]{\V(\I(#1))}
\newcommand*{\IV}[1]{\I(\V(#1))}
% Polynomial rings
\newcommand{\kx}{k[x]}
\newcommand{\ky}{k[y]}
\newcommand{\kz}{k[z]}
\newcommand{\kxy}{k[x,y]}
\newcommand{\kxz}{k[x,z]}
\newcommand{\kyz}{k[y,z]}
\newcommand{\kxyz}{k[x,y,z]}
\newcommand{\ring}{k[x_1,\dots,x_n]}
\newcommand{\ringz}{k[x_0,\dots,x_n]}
\newcommand{\Izero}{\left<x_0,\dots,x_n\right>}
% Polynomial rings over projective space
\newcommand*{\pring}[2]{\bP^{#1}(#2)}
\newcommand{\ptwok}{\bP^2(k)}
\newcommand{\pnk}{\bP^n(k)}
\newcommand{\por}{\bP^1(\R)}
\newcommand{\ptwor}{\bP^2(\R)}
\newcommand{\pthr}{\bP^3(\R)}
\newcommand{\pnr}{\bP^n(\R)}
\newcommand{\gln}{\mathrm{GL}(n,k)}
\DeclareMathOperator{\lm}{LM} % leading monomial
\DeclareMathOperator{\lt}{LT} % leading term
\DeclareMathOperator{\lc}{LC} % leading coefficient
\DeclareMathOperator{\md}{multideg} % degree for multivariate polynomial
% CALCULUS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newcommand{\A}{\mathcal{A}} % an algebra of functions
\newcommand{\va}{\scalebox{1.5}{$a$}} % variation of \A
\newcommand{\ab}{[a,b]}
\newcommand{\ar}{\mathscr{R}}
\newcommand{\ara}{\mathscr{R}(\alpha)}
\newcommand{\arr}{\mathcal{R}}
\newcommand{\B}{\mathcal{B}}
\DeclareMathOperator{\bd}{\mathrm{bd}}
\newcommand{\bdd}{bounded\ }
\DeclareMathOperator{\diam}{diam}
\newcommand{\E}{\mathcal{E}}
\newcommand{\ef}{\mathscr{F}}
\DeclareMathOperator{\ext}{\mathrm{ext}}
\newcommand{\fsc}{finite subcover\ }
\DeclareMathOperator{\intr}{\mathrm{int}}
\renewcommand{\L}{\mathscr{L}}
\newcommand{\M}{\mathfrak{M}}
\newcommand{\nbd}{neighborhood\ }
\newcommand{\U}{\mathscr{U}}
\newcommand{\oo}{[0,1]}
\newcommand{\seq}{(x_n)_{n=1}^\infty}
\newcommand{\seqf}{\bs(f_n(x)\bs)_{n=1}^\infty}
\newcommand{\spc}{(X,\tau)}
\newcommand{\duh}{Let $(X,d)$ be a metric space. }
% Linear algebra
\newcommand{\boldf}{\bs{\mathrm{f}}}
\newcommand{\Cdot}{\bs{\cdot}}
\newcommand*{\mvec}[1]{\bs{\mathrm{#1}}} % my vector
\newcommand{\e}{\bs{\mathrm{e}}}
\newcommand{\h}{\bs{\mathrm{h}}}
\newcommand{\x}{\bs{\mathrm{x}}}
\newcommand{\y}{\bs{\mathrm{y}}}
\newcommand{\z}{\bs{\mathrm{z}}}
\newcommand{\vf}{\vec{f}}
\newcommand{\vfp}{\vec{f'}}
\newcommand{\vphi}{\vec{\phi}}
% Greek letters
\renewcommand{\a}{\alpha}
\renewcommand{\b}{\beta}
\newcommand{\D}{\Delta}
\newcommand{\Da}{\Delta\alpha}
\newcommand{\Dx}{\Delta x}
\newcommand{\ve}{\varepsilon}
\newcommand{\vp}{\varphi}
\newcommand{\vr}{\varrho}
% Limits
\newcommand*{\mlim}[1]{\lim\limits_{#1}} % my limit
\newcommand{\Lim}{\lim\limits}
\newcommand{\Limsup}{\limsup\limits}
\newcommand{\Liminf}{\liminf\limits}
\newcommand{\limi}{\ul{\Lim}\ } % alternative liminf
\newcommand{\lims}{\ol\Lim\ } % alternative limsup
\newcommand{\Max}{\max\limits}
\newcommand{\Min}{\min\limits}
\newcommand{\Bigwedge}{\bigwedge\limits}
\newcommand{\Bigvee}{\bigvee\limits}
\newcommand{\Land}{\Bigwedge}
\newcommand{\Lor}{\Bigvee}
\newcommand{\Inf}{\inf\limits}
\newcommand{\Sup}{\sup\limits}
\newcommand*{\minf}[1]{\Inf_{#1}}
\newcommand*{\msup}[1]{\Sup_{#1}}
\newcommand*{\mto}[2]{#1\to#2} % my to
\newcommand*{\mtoi}[1]{\mto{#1}{\infty}}
\newcommand{\nti}{\mtoi{n}}
\newcommand{\ttx}{\mto{t}{x}}
\newcommand{\xti}{\mtoi{x}}
\newcommand{\pto}{\xrightarrow{\text{\tiny PW}}} % pointwise convergence
\newcommand{\uto}{\xrightarrow{\text{unif}}} % uniform convergence
% Derivatives
\newcommand*{\dif}[1]{\,d#1}
\newcommand{\da}{\,d\alpha}
\newcommand{\dx}{\,dx}
\newcommand{\dy}{\,dy}
\newcommand{\dz}{\,dz}
\newcommand{\dxy}{\,dxdy}
\newcommand{\dxz}{\,dxdz}
\newcommand{\dyz}{\,dydz}
\newcommand{\dxyz}{\,dxdydz}
\newcommand{\dt}{\,dt}
\newcommand{\du}{\,du}
\newcommand{\dv}{\,dv}
\newcommand*{\dd}[2]{\f{d#1}{d#2}}
\newcommand*{\mdd}[2]{\f{d^{#1}}{d#2^{#1}}}
\newcommand{\ddx}{\f{d}{dx}}
\newcommand{\ddy}{\f{d}{dy}}
\newcommand{\ddz}{\f{d}{dz}}
\newcommand{\del}{\partial}
\newcommand*{\mdel}[2]{\f{\partial#1}{\partial#2}}
\newcommand*{\delx}[1]{\f{\partial#1}{\parial x}}
\newcommand*{\dely}[1]{\f{\partial#1}{\partial y}}
\newcommand*{\delz}[1]{\f{\partial#1}{\partial z}}
\newcommand{\Del}{\nabla}
% Integrals
\newcommand*{\mint}[2]{\int\limits_{#1}^{#2}} % my integral
\newcommand{\mab}{\mint{a}{b}}
\newcommand*{\lint}[2]{\mint{\underline{#1}}{#2}} % lower Rieman integral
\newcommand{\lab}{\lint{a}{b}}
\newcommand*{\uint}[2]{\mint{#1}{\ol{#2}}} % upper
\newcommand{\uab}{\uint{a}{b}}
\newcommand*{\dint}[2]{\displaystyle\int_{#1}^{#2}} % display integral (no \limits)
\newcommand{\dab}{\dint{a}{b}}
\newcommand*{\dlint}[2]{\dint{\underline{#1}}{#2}}
\newcommand{\dlab}{\dlint{a}{b}}
\newcommand*{\duint}[2]{\dint{#1}{\ol{#2}}}
\newcommand{\duab}{\duint{a}{b}}
\newcommand*{\Lint}[2]{\int\limits_{\underline{#1}}^{#2}}
\newcommand{\Lab}{\Lint{a}{b}}
\newcommand*{\Uint}[2]{\int\limits_{#1}^{\ol{#2}}}
\newcommand{\Uab}{\Uint{a}{b}}
% Default upper bound of infinity
\newcommand*{\dinti}[1]{\dint{#1}{\infty}} % display integral (no \limits)
\newcommand*{\minti}[1]{\mint{#1}{\infty}}
\newcommand{\pint}{\mint{0}{1}} % probability integral
\newcommand{\piint}{\mint{0}{1}\mint{0}{1}}
\newcommand{\piiint}{\mint{0}{1}\mint{0}{1}\mint{0}{1}}
\newcommand{\dpint}{\dint{0}{1}}
\newcommand{\dpiint}{\dint{0}{1}\dint{0}{1}}
\newcommand{\dpiiint}{\dint{0}{1}\dint{0}{1}\dint{0}{1}}
% GEOMETRY %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newcommand{\ang}{\measuredangle}
\newcommand{\dg}{^\circ}
\newcommand{\lin}[1]{\overleftrightarrow{#1}}
\newcommand{\ray}[1]{\overrightarrow{#1}}
\newcommand{\seg}[1]{\overline{#1}}
\newcommand{\sq}{\square}
\newcommand{\tr}[1]{\triangle{#1}}
% LINEAR ALGEBRA %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newcommand{\Ell}{\mathcal{L}}
\newcommand{\Pol}{\mathcal{P}}
\DeclareMathOperator{\Col}{\mathrm{Col}}
\DeclareMathOperator{\Null}{Null}
\DeclareMathOperator{\rank}{\mathrm{rank}}
\DeclareMathOperator{\Row}{\mathrm{Row}}
\DeclareMathOperator{\spn}{\mathrm{span}}
% row vectors
\newcommand*{\onevec}[1]{\left[\begin{matrix}\hfill#1\end{matrix}\right]}
\newcommand*{\twovec}[2]{\left[\begin{matrix}\hfill#1\\\hfill#2\end{matrix}\right]}
\newcommand*{\threevec}[3]{\left[\begin{matrix}\hfill#1\\\hfill#2\\\hfill#3\end{matrix}\right]}
\newcommand*{\fourvec}[4]{\left[\begin{array}{c}#1\\#2\\#3\\#4\end{array}\right]}
\newcommand*{\fivevec}[5]{\left[\begin{matrix}\hfill#1\\\hfill#2\\\hfill#3\\\hfill#4\\\hfill#5\end{matrix}\right]}
\newcommand*{\twovecex}[2]{\left[\begin{matrix}\hfill#1\\[0.5ex]\hfill#2\end{matrix}\right]}
\newcommand*{\threevecex}[3]{\left[\begin{matrix}\hfill#1\\[0.5ex]\hfill#2\\[0.5ex]\hfill#3\end{matrix}\right]}
\newcommand*{\fourvecex}[4]{\left[\begin{matrix}\hfill#1\\[0.5ex]\hfill#2\\[0.5ex]\hfill#3\\[0.5ex]\hfill#4\end{matrix}\right]}
% centered column vectors
\newcommand*{\onevecc}[1]{\left[\begin{matrix}#1\end{matrix}\right]}
\newcommand*{\twovecc}[2]{\left[\begin{matrix}#1\\#2\end{matrix}\right]}
\newcommand*{\threevecc}[3]{\left[\begin{matrix}#1\\#2\\#3\end{matrix}\right]}
\newcommand*{\fourvecc}[4]{\left[\begin{matrix}#1\\#2\\#3\\#4\end{matrix}\right]}
\newcommand*{\fivevecc}[5]{\left[\begin{matrix}#1\\#2\\#3\\#4\\#5\end{matrix}\right]}
\newcommand*{\threeveccex}[3]{\left[\begin{matrix}#1\\[0.5ex]#2\\[0.5ex]#3\end{matrix}\right]}
\newcommand*{\fourveccex}[4]{\left[\begin{matrix}#1\\[0.5ex]#2\\[0.5ex]#3\\[0.5ex]#4\end{matrix}\right]}
% row vectors
\newcommand*{\onerowvec}[1]{\left[\begin{matrix}\hfill#1\end{matrix}\right]}
\newcommand*{\tworowvec}[2]{\left[\begin{matrix}\hfill#1&\hfill#2\end{matrix}\right]}
\newcommand*{\threerowvec}[3]{\left[\begin{matrix}\hfill#1&\hfill#2&\hfill#3\end{matrix}\right]}
\newcommand*{\fourrowvec}[4]{\left[\begin{matrix}\hfill#1&\hfill#2&\hfill#3&\hfill#4\end{matrix}\right]}
\newcommand*{\fiverowvec}[5]{\left[\begin{matrix}\hfill#1&\hfill#2&\hfill#3&\hfill#4&\hfill#5\end{matrix}\right]}
% n-tuples
\newcommand*{\onetuple}[1]{(#1)}
\newcommand*{\twotuple}[2]{(#1,#2)}
\newcommand*{\threetuple}[3]{(#1,#2,#3)}
\newcommand*{\fourtuple}[4]{(#1,#2,#3,#4)}
\newcommand*{\fivetuple}[5]{(#1,#2,#3,#4,#5)}
\newcommand*{\ntuple}[2]{(#1_1,\ldots,#1_#2)}
\newcommand*{\listz}[2]{#1_0,\ldots,#1_#2}
\newcommand*{\listo}[2]{#1_1,\ldots,#1_#2}
% square numeric matrices
\newcommand*{\onebyone}[1]{\left[\begin{matrix}\hfill#1\end{matrix}\right]}
\newcommand*{\twobytwo}[4]{\left[\begin{matrix}\hfill#1&\hfill#2\\\hfill#3&\hfill#4\end{matrix}\right]}
\newcommand*{\threebythree}[9]{\left[\begin{matrix}\hfill#1&\hfill#2&\hfill#3\\\hfill#4&\hfill#5&\hfill#6\\\hfill#7&\hfill#8&\hfill#9\end{matrix}\right]}
% square numeric determinants
\newcommand*{\onebyonev}[1]{\begin{vmatrix}#1\end{vmatrix}}
\newcommand*{\twobytwov}[4]{\begin{vmatrix}#1\\#3\end{vmatrix}}
\newcommand*{\threebythreev}[9]{\begin{vmatrix}#1\\#4\\#7	\end{vmatrix}}
% augmented matrices
\newcommand*{\augmented}[2]{\left[#1\mid#2\right]}
\newcommand*{\augtwo}[2]{\left[\begin{array}{r|r}#1\end{array}\right]}
% \newcommand*{\augtwo}[2]{\left[#1\mid#2\right]}
\newcommand*{\augthree}[3]{\left[\begin{array}{r|r|r}#1\end{array}\right]}
\newcommand*{\augfour}[4]{\left[\begin{array}{r|r|r|r}#1\end{array}\right]}
%--------------------------------------------------------------------------
% column vectors with row separation
\newcommand*{\fourvectorchline}[4]{\left[\begin{array}{ccc}&\\[0.5ex]\hline&\\[0.5ex]\hline&\\[0.5ex]\hline\end{array}\right]}
% LOGIC %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% contradiction
\newcommand{\contra}{\ensuremath{\rightarrow\mspace{-2.5mu}\leftarrow}}
\newcommand{\ex}{\exists}
\newcommand{\nex}{\nexists}
\newcommand{\fa}{\forall}
\newcommand{\fall}{\,\forall}
% forward implication
\newcommand{\fim}{%
\mbox{
$\bs(%
\mspace{-10.5mu}%
\bs\implies%
\mspace{-12mu}%
\bs)$\ %
}
}
% backward implication
\newcommand{\bim}{\mbox{$\bs(\mspace{-12mu}\bs\impliedby\mspace{-10.5mu}\bs)$\ }}
% forward inclusion
\newcommand{\fsub}{$\bs(\mspace{-5mu}\bs\subseteq\mspace{-5mu}\bs)$\ }
% backward inclusion
\newcommand{\bsub}{$\bs(\mspace{-5mu}\bs\supseteq\mspace{-5mu}\bs)$\ }
\newcommand{\sland}{\;\land\;} % space logical and
\newcommand{\slor}{\,\lor\, } % space logical or
\newcommand{\tf}{\therefore\,} % I sometimes prefer a little space after this.
\newcommand{\bic}{\longleftrightarrow} % biconditional
\newcommand{\notbic}{%
\mathrel{{\ooalign{\hidewidth$\not\phantom{"}$\hidewidth\cr$\bic$}}}}
\newcommand{\varbij}{\hookrightarrow\hspace{-8pt}\rightarrow}
\newcommand{\inj}{\rightarrowtail} % one-to-one
\newcommand{\varinj}{\hookrightarrow}
\newcommand{\onto}{\twoheadrightarrow}
\newcommand{\Ra}{\Rightarrow} % short implies
\newcommand{\ra}{\rightarrow} % alternate implication
\newcommand*{\mneg}[1][1]{ % my (alternative) negation
\mspace{-5mu}%
\setcounter{i}{0}%
\forloop{i}{0}{\value{i}<#1}%
{%
\sim%
}%
\mspace{-5mu}%
}
\newcommand{\n}{\neg} % negation
\newcommand{\s}{\sim\mspace{-5mu}} % alternative negation
\newcommand{\vd}{\vdash} % proves
\newcommand{\proves}{\vd}
\newcommand{\vdd}{\vDash} % satisfies
\newcommand{\satisfies}{\vdd}
\newcommand{\yields}{\vd}
\newcommand{\entails}{\vdd}
\DeclareMathOperator{\nec}{\scalebox{0.75}{$\square$}} % necessarily
\DeclareMathOperator{\poss}{\scalebox{1.25}{$\diamond$}} % possibly
\newcommand{\fA}{\mathfrak{A}}
\newcommand{\fB}{\mathfrak{B}}
\newcommand{\fN}{\mathfrak{N}}
\newcommand{\is}{\text{ is\ }}
\newcommand{\isnt}{\text{ is not\ }}
\newcommand{\IFF}{\text{ iff\ }}
\newcommand{\sbar}{\ol{s}}
\newcommand{\xor}{\veebar}
\DeclareMathOperator*{\Xor}{\underline{\bigvee\limits}}
\newcommand{\symdif}{\ominus}
\newcommand{\this}[1]{\ul{this}_{#1}}
\newcommand{\spec}[1]{\ul{is}_{#1}}
\newcommand{\en}{\mathcal{N}}
\newcommand{\cod}{\mathrm{cod}}
\newcommand{\dom}{\mathrm{dom}}
\newcommand{\com}{\mathrm{com}}
\newcommand{\inc}{\mathrm{inc}}
\newcommand{\eni}{\mathrm{eni}}
\newcommand{\exc}{\mathrm{exc}}
\newcommand{\fut}{\mathrm{fut}}
\newcommand{\im}{\mathrm{im}}
\newcommand{\past}{\mathrm{past}}
\newcommand{\pos}{\mathrm{poss}}
\newcommand{\pot}{\mathrm{pot}}
\newcommand{\pres}{\mathrm{pres}}
\newcommand{\rel}{\mathrm{rel}}
\newcommand{\sh}{\mathrm{sh}}
\newcommand{\wasin}{\blacktriangleleft}
\newcommand{\wasnotin}{\not\blacktriangleleft}
\newcommand{\willin}{\lessdot}
\newcommand{\willnotin}{
\mathrel{\not\mkern-5mu\lessdot}}
% \newcommand{\spec}[1]{\mathfrak{S}_{#1}}
% PDE %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newcommand{\dtau}{\,d\tau}
% Ditto marks
%====================================================================================
% ditto
\newcommand{\dit}{%
\quad\scalebox{0.75}{\ensuremath{\prime\prime}}\quad%
}
\newcommand{\ditt}{\dit\dit}
\newcommand{\dittt}{\ditt\dit}
\newcommand{\ditttt}{\ditt\ditt}
% sparse ditto
\newcommand{\sdit}{\qquad\scalebox{0.75}{\ensuremath{\prime\prime}}\qquad}
\newcommand{\sditt}{\sdit\sdit}
\newcommand{\sdittt}{\sditt\sdit}
\newcommand{\sditttt}{\sditt\sditt}
% dense ditto
\newcommand{\ddit}{$\mspace{9mu}$\scalebox{0.75}{\ensuremath{\prime\prime}}$\mspace{9mu}$}
\newcommand{\dditt}{\ddit\ddit}
\newcommand{\ddittt}{\dditt\ddit}
\newcommand{\dditttt}{\dditt\dditt}
% For loops
\newcounter{i}
\newcommand*{\mdit}[1][1]{% my ditto; invoked as \mdit[n] for n ditto marks
\forloop{i}{0}{\value{i} < #1}%
{%
\dit%
}%
}
% my sparse ditto
\newcommand*{\msdit}[1][1]{\forloop{i}{0}{\value{i}<#1}{\sdit}}
% my dense ditto
\newcommand*{\mddit}[1][1]{\forloop{i}{0}{\value{i}<#1}{\ddit}}
% VERSE %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newcommand{\inp}[1]{\newpage\input{#1}}
\newcommand{\attrib}[1]{\nopagebreak{\raggedleft\footnotesize#1\par}\ }
\newcommand{\gap}[1][1]{\hspace{#1\vgap}}
\newcommand{\ngap}[1][1]{\hspace{-#1\vgap}}
\newcommand{\nin}{\hspace{-\vgap}}
\newcommand{\bin}{\hspace{2\vgap}}
\newcommand{\tin}{\hspace{3\vgap}}
\newcommand{\fin}{\hspace{4\vgap}}
\newcommand{\cin}{\hspace{5\vgap}}
\newcommand{\nbin}{\hspace{-2\vgap}}
\newcommand{\ntin}{\hspace{-3\vgap}}
\newcommand{\nfin}{\hspace{-4\vgap}}
\newcommand{\ncin}{\hspace{-5\vgap}}
\newcommand{\hin}{\hspace{0.5\vgap}}
\newcommand{\nhin}{\hspace{-0.5\vgap}}
\newcommand{\dinkus}{
\begin{center}
\textbf{***}\vspace{-0.25cm}
\end{center}
}
\newtotcounter{numSS}
\newtotcounter{numM}
\newcommand{\adds}{
\addtocounter{numSS}{1}
\addtocounter{total}{1}
}
\newcommand{\addm}{
\addtocounter{numM}{1}
\addtocounter{total}{1}
}
\newcounter{piecewise}
\newcommand{\addp}{%
(\thepiecewise)
\addtocounter{piecewise}{1}
}
\newcounter{reading}
\newcommand{\addr}{%
(\thereading)
\addtocounter{reading}{1}
}
\newcounter{stem}
\newcommand{\addstem}{%
(\thestem)
\addtocounter{stem}{1}
}
\newcommand{\push}{\vfill\null\columnbreak}