Use verbatim to be able to render them properly

Use verbatim to be able to render them properly