How do I add an HTML tag to the formatting drop-down in the rich text editor? I would like to add the 'code' tag to the formatting drop-down. My rich text field is using Standard.json and I am able to remove the current tags, but it's not letting me add additional tags. I have tried adding 'code' like this in my Standard.json file:

formattingTags: ['p', 'blockquote', 'pre', 'code', 'h1', 'h2' 'h3', 'h4', 'h5']


Any thoughts?

(I realize 'pre' and 'code' are similar but if possible I would like to use code to be semantic.)
Might formattingAdd be something you can use for this? Not tested, just a quick look at Redactor's options page.

formattingAdd: [
    {
        tag: 'code',
        title: 'Code'
    }
]