\newcommand{\randomsample}{\overset{{\scriptscriptstyle\$}}{\leftarrow}}
\newcommand{\assign}{:=}
\newcommand{\encoded}[1]{\underline{#1}}