Skip to main content\(\newcommand{\dom}{\operatorname{Dom}}
\newcommand{\codom}{\operatorname{Codom}}
\newcommand{\range}{\operatorname{Rng}}
\newcommand{\lcm}{\operatorname{lcm}}
\newcommand{\card}{\operatorname{card}}
\newcommand{\rel}{\operatorname{rel}}
\newcommand{\Rel}{\operatorname{Rel}}
\newcommand{\logeq}{\Longleftrightarrow}
\renewcommand{\implies}{\Longrightarrow}
\def\tcboxmath{}
\def\coloneqq{:=}
\newcommand{\lt}{<}
\newcommand{\gt}{>}
\newcommand{\amp}{&}
\definecolor{fillinmathshade}{gray}{0.9}
\newcommand{\fillinmath}[1]{\mathchoice{\colorbox{fillinmathshade}{$\displaystyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\textstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptscriptstyle\phantom{\,#1\,}$}}}
\)
