I don't need to encode everything. Just one character to make the syntax highlighter not treating <foo> as an HTML tag.