Phillip J. Eby wrote:
> And where characters like '<' and '>' occur frequently as part of the text,
> especially in showing Python interactions like this:
>
> >>> print "hello world"
> hello world
>
> I can't imagine trying to author the above in an HTML/XML based format,
it's spelled
>>> print "hello world"
hello world
in HTML.
</F>