Hacker News Reader

<pre> and <code> still require you to escape all HTML special symbols. <script> and <style> do not.

what about <xmp>?

I don't know what it does in practice, since it's obsolete. Heck, I've never even heard about it until right now.

I think HTML should have a dedicated tag for this, but sadly <script> is the closest thing that I know of.