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