1 <p>This is some HTML:</p>
   2 
   3 <pre><code>&lt;h1&gt;Heading&lt;/h1&gt;
   4 </code></pre>