\begin{Verbatim}[commandchars=\\\{\}]
;
\end{Verbatim}