add Unicode character properties (in <pre><code> tags per HTML5 recommended usage)