custom_commands.tex

% Environments

\newtheorem{definition}{Definition}
\newtheorem{assumption}{Assumption}
\newtheorem{example}{Example}
\newtheorem{lemma}{Lemma}
\newtheorem{theorem}{Theorem}
\newtheorem{corollary}{Corollary}
\newtheorem{remark}{Remark}
\newenvironment{subproof}[1][\proofname]{%
	\renewcommand{\qedsymbol}{$\blacksquare$}%
	\begin{proof}[#1]%
	}{%
\end{proof}%
}

%% MDPs notations
\renewcommand{\S}{\ensuremath{\mathcal{S}}}
\newcommand{\A}{\ensuremath{\mathcal{A}}}
\newcommand{\Q}{\ensuremath{\mathcal{Q}}}
\newcommand{\T}{\ensuremath{\mathcal{T}}}
\newcommand{\R}{\ensuremath{\mathbb{R}}}
\newcommand{\Tf}{\ensuremath{{T_f}}}
\newcommand{\gammabar}{\ensuremath{\bar{\gamma}}}
\newcommand\Rexp{\ensuremath{R^{\text{exp}}}}

% Viability notations
\newcommand{\SF}{\ensuremath{{\S_{F}}}}
\newcommand{\SV}{\ensuremath{{\S_{V}}}}
\newcommand{\SU}{\ensuremath{{\S_{U}}}}
\newcommand{\QV}{\ensuremath{\Q_{V}}}
\newcommand{\QC}{\ensuremath{\Q_{C}}}
\newcommand{\LQhat}{\ensuremath{\hat{\Lambda}_\Q}}
\newcommand{\Qopt}{\ensuremath{\Q_\text{opt}}}
\newcommand{\Qcaut}{\ensuremath{\Q_\text{caut}}}
\newcommand{\Qsoft}{\ensuremath{\Q_\text{soft}}}

% Algorithms
\newcommand{\tswitch}{\ensuremath{t_\text{switch}}}
\newcommand{\failed}{\textbf{\textit{failed}}}
\algnewcommand\Title[1]{\item[\textbf{Algorithm:}] \textsuperscript{#1}}
\algnewcommand\Input[1]{\State \textbf{Input:} #1}

% Math operators
\renewcommand{\P}{\ensuremath{\mathbb{P}}}
\newcommand\expected{\ensuremath{\mathbb{E}}}
\newcommand\condexpected[3]{\ensuremath{\expected_{#1}\left[#2\middle|#3\right]}}
\DeclareMathOperator*{\argmax}{argmax}
\newcommand{\indicator}{\ensuremath{\mathds{1}}}
\newcommand{\eqdef}{\ensuremath{\dot{=}}}
\DeclareMathOperator{\reach}{Reach}
\DeclareMathOperator{\support}{supp}
\newcommand{\goesto}[1]{\ensuremath{\xrightarrow[#1]{}}}
\renewcommand{\L}{\ensuremath{\mathcal{L}}}
\newcommand\card[1]{{\ensuremath{\left|#1\right|}}}
\newcommand{\thetamax}{\ensuremath{\theta_\text{max}}}
\newcommand{\thetapalpha}{\ensuremath{\theta_{p, \alpha}}}
\newcommand{\Deltatarget}{\ensuremath{\Delta_\text{target}}}

% Utils
%\newcommand{\needcite}{{\color{red} {\textbf [CITATION]}}}
\newcommand{\needcite}{}
\newcommand{\figfrom}[1]{{\small Source: #1}}
%\newcommand{\TODO}[1]{{\color{red}{\bfseries TODO:} #1}}
\newcommand{\TODO}[1]{}

% Presentation
\newcommand{\thickhline}{\specialrule{.1em}{.05em}{.05em}}
\newcommand{\multiline}[1]{\begin{tabular}{@{}c@{}}#1\end{tabular}}