title: Difference between code and verbatim in Org-mode?
body: <p>What is the intended difference between <code>~code~</code> and <code>=verbatim=</code> markup in Org-mode? Exporting to HTML in both cases yields <code>&lt;code&gt;</code> tags.</p>