html character code because python is "too good for unicode"