I've just been testing out WP-Syntax and whenever I switch back to the visual editor all my > symbols get turned into > ;. So I thought I'd try using
<pre escaped="true">. This works if I stay in HTML edit mode, but breaks if I switch back to the visual editor.
(any formatting outside of the norm with tinymce can be such a pain)