Resolving problems with rendering unicode symbols in documentation on github.