Replacing the usage of unicode characters with html code.

This will avoid encoding issues (see PR issue).

Replaced character: http://unicode-table.com/en/2022/