TinyMCE Preformatted plugin will enable to insert preformatted text like <pre>...</pre> to WordPress Visual Editor.
