\newcommand{\Emptylist}{\texttt{[]}}
\newcommand{\Rb}{\texttt{]}}
\newcommand{\Lb}{\texttt{[}}
\newcommand{\Col}{\texttt{:}}
\newcommand{\Com}{\texttt{,}}
\newcommand{\Dott}{\texttt{.}}
