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