> Or you can do both if you want (4 spaced and then >>>). I don't remember which way we've usually done this for our examples in other places.
> 

We've been utterly inconsistent.  But you're right that either way works.