\newcommand{\Emptylist}{\texttt{[]}}
