\newcommand{\R}{\mathbb{R}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\K}{\mathbb{K}}
\newcommand{\Q}{\mathbb{Q}}

\newcommand{\powerset}[1]{\mathcal{P}(#1)}
\newcommand{\skp}[1]{\langle #1 \rangle}
\newcommand{\restrictedto}[2]{{\left.\kern-\nulldelimiterspace #1 \vphantom{\big|} \right|_{#2}}}
